you are here: Products » SolidPC

AMBA compliance in a snap. Built upon formal technology, SolidPC employs a pre-defined set of technology rules to verify compliance with the AMBA protocol specification. SolidPC has an easy, flow-oriented interface, and requires no vectors to run. Leveraging the Solidify core engine, the tool efficiently executes a series of exhaustive proofs, automatically generating testbenches for rules that fail.