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.
Example iTBA Applications<br />
• Architectural exploration<br />
— Performance characterization<br />
— Behavioral model verification<br />
• IP Block level verification<br />
— Bus (AXI, AHB, PCI*, …)<br />
— Memory (DDR,SDDR, nand flash,…)<br />
— Peripheral (i2c, dma,…)<br />
• SOC <strong>in</strong>tegration<br />
— Firmware<br />
— Subsystem <strong>in</strong>teractions<br />
• Processor verification<br />
— L2 cache<br />
— Instruction set verification<br />
22 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