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.
As soon as people join and begin creating and sharing content, you'll begin seeing activity here. Create something now to get started!