Agnisys Inc. is a leading supplier of Electronic Design Automation (EDA) software for solving complex design and verification problems for system development. Our products provide a common specification-driven development flow to describe registers and sequences for system-on-chip (SoC) and intellectual property (IP) projects, enabling faster design, verification, firmware creation, and validation. Based on patented technology and intuitive user interfaces, our products increase productivity, efficiency, and work quality of individuals and teams, while eliminating system design and verification errors:
IDesignSpec™ (IDS) enables IP, SoC, and FPGA teams to create an executable specification for registers and automatically generate outputs for software and hardware teams. You can create your specification with a plug-in for Microsoft Word or Excel, or by using a text-based industry standard format such as SystemRDL, RALF, or IP-XACT. IDesignSpec generates synthesizable Verilog and VHDL RTL, UVM models, C headers, Word, Excel, HTML, PDF, and many other formats directly from your specification.
Automatic Register Verification (ARV™) is an add-on to IDesignSpec that creates a complete environment for automatically verifying all addressable registers with all access types and all complex types for IP and SoC designs. Based on your register specification, ARV generates the complete UVM testbench: bus agents, monitors, drivers, adaptors, predictors, sequencers, and sequences, as well as the makefile and verification plan. The generated files support both popular industry simulators and formal verification tools.
ISequenceSpec™ (ISS) enables users to describe the configuration, programming, and test sequences of an IP or SoC and automatically generate programming and test sequences ready to use. From a single specification, you can generate UVM sequences for verification, C code for firmware and device driver development, CSV for Automatic Test Equipment (ATE) post-silicon validation, and other outputs. ISequenceSpec imports register information from standard descriptions in IP-XACT, SystemRDL, and any IDesignSpec format.
Founded in 2007, Agnisys is based in Boston, Massachusetts, with R&D centers in the United States and India. Agnisys is a privately held company. We are self-funded and profitable thanks to the quality of our products and our outstanding customer service.