SolidPC/AMBA by Averant Inc.

RTL (Front End) Tools

Product Description

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.

SolidPC/AMBA

Market Segment(s)

• Embedded
• Enterprise
• Home
• Mobile

ARM Processor(s)

• ARM7EJ-S
• ARM7TDMI
• ARM7TDMI-S
• ARM720T
• ARM920T
• ARM922T
• ARM926EJ-S
• ARM940T
• ARM946E-S
• ARM966E-S
• ARM968E-S
• VFP9-S
• ARM1020E
• ARM1022E
• ARM1026EJ-S
• VFP10
• ARM1136J-S
• ARM1136JF-S
• ARM1156T2(F)-S
• ARM1176JZ(F)-S
• ARM11 MPCore
• Cortex-A53
• Cortex-A57
• Cortex-A8
• Cortex-M3
• Cortex-R4
• SC100
• SC200
• ARMv8
• StrongARM
• XScale

System IP

• Interconnect Fabric
• Memory Controller

 Contact Us