Pioneers of Specification Automation
Agnisys has pioneered a family of products and solutions for specification automation, streamlining the generation of the required files for design, software, verification, validation, and documentation for semiconductor development directly from executable specifications. This saves your IP and chip development teams time and effort many times throughout the course of a project. Whenever a specification changes for any reason, all output files are updated, keeping all teams in sync.
What Sets Us Apart
Agnisys provides by far the broadest range of solutions for specification automation: more register types, sequences, custom and standard IP blocks, and more. Generated files include not just the RTL design, but also verification, validation, embedded programming code, and documentation. Dozens of relevant industry standards are supported, from file format to languages, and the product suite is certified as compliant to key functional safety standards. No other company can make these statements.
How Agnisys Eliminates Redundancies in Semiconductor Design, Verification, and Validation
Overcoming the weaknesses of traditional natural language specifications requires writing the specifications in a precise format rather than natural language, and making this format executable so that tools can generate as many files as possible for the design, verification, programming, validation, and documentation teams. Such a solution is available today.
Our Values, Our Vision
A complete focus and commitment in customer success is the thread that weaves its way through everything we do. We have always believed that if we take care of our customers, then everything else will take care of itself, which has proven to be true. This collaboration has enabled our products to be created, expanded and refined to the solution they are today.
Our vision is to enable semiconductor companies to manage and control their implementation process from specification through implementation. Achieving our vision requires us to innovate our products to stay ahead of our customers’ needs by taking cues from their challenges. Our research and development is how we pioneer these new solutions.
Research and Development
Agnisys maintains active R&D activity beyond current products, aggressively pursuing new technologies that may benefit its users. There is a particular focus on the use of artificial intelligence (AI) and machine learning (ML) techniques to allow the specification of some aspects of a design in natural language (English). These technologies are developed in concert with leading users and often make use of crowdsourcing to gather the widest possible range of specification examples from the industry.
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.
Solutions for Each Semiconductor Development Role
Agnisys offers solutions appropriate for each of your semiconductor development roles. These solutions simplify deployment and use by your development teams and provide an integrated approach to design, verification, and validation.
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.
Comments
There are no comments yet.
You must register or log in to view/post comments.