Company Profile

Averant Inc.

Company Description

Averant Inc. is a leading supplier of static functional verification tools based around formal methods. Averant's Solidify offers a powerful complement to existing simulation techniques for quickly and thoroughly verifying complex design blocks.

Averant & ARM have jointly developed SolidPC, a tool for verifying designs against the AMBA protocols. The combination of ARM developed and endorsed AMBA rule sets, the Solidify formal verification engine, and a purpose built, easy to use, graphical user interface makes SolidPC a leading tool of choice for AMBA bus protocol verification.

Contact Us