Staffan Berg, Mentor Graphics
Graph-Based Verification in a UVM Environment
Abstract:
Graph-or Rule-based verification methods is gaining credibility within the verification community that it can provide significantly shorter time-to-coverage than traditional Constrained Random techniques. However, adoption of new methods requires both an understanding of the respective technology and the implications of injecting it into an existing process and infrastructure.
Examples will be presented to illustrate how to write the sets of rules and constraints which Graph-Based verification relies on to define the stimulus space and coverage goals. Coupled with the examples will be assessments of the impact on the resulting number of required simulation cycles.
The second part of the presentation will explain how graph based methods can be introduced to an existing UVM based testbench infrastructure in a non-intrusive way.
No comments:
Post a Comment