Assertion-Based Verification for ARM-based SoC Design
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.
Please disable any pop-up blockers for proper viewing of this Whitepaper.