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.