This paper describes an assertion-based methodology for the verification of platform-based designs and present examples of ARM-based SoC design projects where it has been successfully applied. Assertion-based verification increases the observability and controllability of the design during verification by combining assertions, simulation, and formal verification techniques.

Note: By clicking on the above link, this paper will be emailed to your TechOnLine log-in address by Mentor Graphics.