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 4 years of service in production. Solidify provides vectorless verification, code coverage, simulation monitors and testbenches, plus debug tracing and waveforms.
• 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.
• SolidPC™ - Automatic AMBA Protocol Verifier Data Sheet
• SolidPC verifies that a design module complies with the AMBA protocols AHB full, AHB lite, APB and AXI.
• 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).