ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
AMBA protocol checking with SolidPC
SolidPC is a completely new way to verify that your design is compliant with the AMBA bus protocol rules. Based on formal methods, with the protocol rules written and endorsed by ARM, there is no quicker or more thorough way to verify that your design is AMBA compliant. With no simulation vectors or testbenches to write AMBA compliance can be achieved in a few days rather than a few months. SolidPC features AMBA3 ASSURED technology.
SolidPC product features include:
a. Complete verification environment for the APB, AHB and AXI protocols
b. Rule sets authored and endorsed by ARM
c. Based on formal methods - exhaustive proofs
d. No simulation vectors or testbenches to write
e. Easy to use
f. Quick to run
The combination of ARM developed and endorsed AMBA rule sets, the formal nature of the verification engine, and ease of use, makes SolidPC the tool of choice for AMBA protocol verification.
For more information, or a free 14 day evaluation of SolidPC visit http://www.averant.com/products-solidpc.html.