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.
Def<strong>in</strong>e Stimuli-Coverage Goals<br />
• Simple protocol coverage goals<br />
— Cover 64 address ranges<br />
— Cover all valid comb<strong>in</strong>ations of transaction parameters<br />
• Describe address value b<strong>in</strong>n<strong>in</strong>g<br />
• Def<strong>in</strong>e graph-coverage strategy<br />
— Node Coverage for address<br />
— Path Coverage for transaction parameters<br />
• Pre-simulation coverage space analysis<br />
20 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