16.11.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!