Graph-Based Verification in a UVM Environment – Staffan Berg
Graph-Based Verification in a UVM Environment – Staffan Berg
Graph-Based Verification in a UVM Environment – Staffan Berg
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
The Role of Coverage<br />
• The rule graphs def<strong>in</strong>e the<br />
entire stimulus space<br />
• Without coverage goals,<br />
traversal will be purely random<br />
• <strong>Graph</strong> coverage strategy<br />
def<strong>in</strong>es goals and priorities<br />
• iTBA algorithms prioritize<br />
generation<br />
— Can still generate random vectors<br />
outside the coverage space<br />
10<br />
SB , <strong>Graph</strong> <strong>Based</strong> <strong>Verification</strong> June 2012<br />
© 2010 Mentor <strong>Graph</strong>ics Corp. Company Confidential<br />
www.mentor.com