you are here: News & Events
Latest News
Averant Adds RTL and Gate Level
Combinational Equivalency Checker
Averant Announces Toshiba Expanding Deployment of Solidify
Averant Announces Release of Solidify 5.2.0
Averant Announces Release of Solidify 5.1.0
... more
april 20, 2009
Averant Announces New Engine, Next Generation Testbench-less Bug Hunting, Support for System Verilog
... more
june 05, 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)