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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Def<strong>in</strong><strong>in</strong>g the valid test space - Rules<br />
• Rules have two sections:<br />
— Declarations<br />
— Grammar<br />
• Declarations <strong>in</strong>clude:<br />
— <strong>Graph</strong> nodes l<strong>in</strong>ked to tasks/functions<br />
— Variables l<strong>in</strong>ked to tasks/functions<br />
— Rule build<strong>in</strong>g blocks<br />
• Grammar def<strong>in</strong>es abstract behavior<br />
— Replaces directed test procedural code<br />
— Replaces CRT constra<strong>in</strong>t code<br />
— Often declarative decision tree of choices<br />
— May also use algebraic constra<strong>in</strong>ts<br />
• Rules are implementation-<strong>in</strong>dependent<br />
iTBA Rule<br />
User-Created<br />
Rule Text 1<br />
6 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