- SolidPC/AMBA, EDA - Design Tools
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.
Headquarters
22320 Foothill Blvd.
Suite 360
Hayward, CA 94541
United States
Phone: +1-510-581-8881
Fax: +1-510-581-8886
http://www.averant.com
3-14-13 Takanawa Muse Bldg.
Higashi Gotanda
Shinagawa-ku, Tokyo 141-0022
Japan
Phone: +81-3-3443-9720
http://www.gaiaweb.co.jp
Saros Technology Ltd
20/21 Market Place
Wallingford, Oxon OX10 0AD
United Kingdom
Phone: +44 1491 837787
Fax: +44 1491 837477
http://www.saros.co.uk/solidpc
ARM Partner Program Affiliations
- IPNet
Search Options
