Coverage-Driven Verification of IEEE P1500-compliant Embedded Core Test Infrastructures
Network Meeting Center
Techmart
5201 Great America Parkway
Santa Clara, CA
USA
May 11th, 2005
Verisity's Annual Users' Group Meeting, Club Verification, is a place to meet with other Verisity users to hear their experiences, share ideas and insights and gather information on the best verification solutions available.
It's a great place to see how your colleagues are approaching the verification process on their complex designs and overcoming the bottleneck. It's also a great place to find out what worked for them, and what didn't.
This year, Globetech Solutions will be presenting a technical paper based on our latest work on verification technology entitled "Coverage-Driven Verification of IEEE P1500-compliant Embedded Core Test Infrastructures ".
Abstract
Core-based design has quickly become today’s de -facto approach to bu ilding increasingly complex
Systems-on-Chip (SoC). With the IEEE 1500 Proposal for a Standard for Embedded Core Test effectively addressing the important issues of re-use and interoperability with respect to testing core-based SoCs, as well as providing the infrastructure for building and operating testability features within cores from different suppliers, it has also become imperative to thoroughly verify the functionality of the complete test infrastructure within a certain SoC. In this paper we take a comprehensive approach to designing such a verification infrastructure based on a dynamic, constrained-random, coverage-driven verification methodology which can be part of the overall chip-level validation strategy. We also present a powerful implementation of such an environment as an eVC along with experiences from application on several verification scenarios.
For more information, please contact us or visit Verisity's site.
|