Latest News

Silicon Library Adopts Averant's Solidify Automated Checks Using CDC Inc. EDA Cloud Services

Averant's Solidify 6.5 Significantly Improves Combinational and Sequential Equivalency Checking and Clock Domain Crossing Checks

Averant Announces Extensive Video Tutorials

Averant's Solidify 6.3 Improves Property Lint, Hierarchical Verification and Coverage

Averant Integrates Timing Constraints Checking and Improves Functionality with Release of Solidify 6.0

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)