you are here: Products
Powerful Tools from Averant
From Averant comes an efficient arsenal of rigorous and comprehensive verification tools meant to help designers with today's complex designs:
- Solidify™ - Static Functional Verification Data Sheet
- At the heart of Averant's suite is Solidify, a high-performance formal verification engine with over 10 years of service in production. Solidify provides vectorless verification, code coverage, simulation monitors and testbenches, plus debug tracing and waveforms.
- SolidSEC™ - Sequential Equivalency Checker Data Sheet
- SolidSEC checks the functional equivalency between a design and a version with sequential modifications such as power optimizations.
- SolidAC™ - Automatic Design Checks Data Sheet
- SolidAC automatically checks a circuit for a number of common design problems. Reading only the design source, and with very little input from the user, SolidAC tracks down such problems as clock domain crossing problems, deadlock, and a host of common but elusive design problems.
- SolidTC™ - Automatic Timing Constraint Verifier Data Sheet
- SolidTC employs formal technology to verify the correctness of false-path and multi-path constraints in a timing exceptions file (SDC).