- SolidPC/AMBA, EDA - Design Tools
ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
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.
22320 Foothill Blvd.
Hayward, CA 94541