you are here: News & Events
Latest News
Averant Announces New Engine, Next Generation Testbench-less Bug Hunting, Support for System Verilog... more
june 05, 2008
Averant Announces Release of SolidAC 3.0
... more
may 22, 2008
Previous News Items
- Averant Announces Release of Solidify (tm) 5.0
- Visit Averant @ booth 6670 in San Diego
- Averant Adds Two New Representatives
- Axiom Design Automation and Averant Form Powerful Alliance
- Partnership adds formal verification GUI
- Solidify Formal Verification Seminar
- October Events!
- Averant Announces Release of Solidify 4.0
- We've moved!!
- Averant Establishes Japan KK and Appoints GAIA As Distributor
- Averant Names Larry Lapides as Vice President Worldwide Sales
- Averant Announces AMBA AXI Protocol Checker
- Averant Announces Release of Solidify 3.1
- Averant Announces SolidTC, Timing Constraint Verifier
- Property checker verifies false paths (EE TIMES)
- Averant Announces Solidify 3.0 Release
- ARM's Paper on X Analysis Using Solidify, Best paper, SNUG 03
- Formal Tool Verifies AMBA Protocol (EE TIMES)