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><strong>in</strong>g the <strong>Verification</strong> Goals - Coverage<br />
• Coverage Strategy def<strong>in</strong>es Goals & Priorities<br />
• Specify regions to cover graphically<br />
• Generate stimulus coverage code<br />
• Two types of stimulus coverage<br />
• Path coverage <strong>–</strong> traversal paths / cross coverage<br />
• Node coverage <strong>–</strong> like a system verilog coverpo<strong>in</strong>t<br />
• Path coverage atomic_tb_bl_combos covers<br />
• 108 comb<strong>in</strong>ations of am, bt, bl<br />
• Node coverage bsz[] covers<br />
• 8 values of bsz<br />
Path<br />
Coverage<br />
User Added Stimulus<br />
Coverage Directives 3<br />
Node<br />
Coverage<br />
8 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