Verification Methodology using Vera

More documents

Recommendations

Info

$LATEX and Beamer (Arijit Bishnu). - Indian Statistical Institute$

Object-Oriented Transactors Transaction Interface • Can implement various transaction completion models • Blocking • Nonblocking • Out-of-order • Request / Response © 2004 Synopsys, Inc. (12) CONFIDENTIAL
Object-Oriented Transactors Transaction Interface • Key to transactor reuse across environments Test Test MAC Test IP IP BLK Custom MAC BLK MAC MAC BLK MAC MAC BLK Test MII MII BLK MII MII BLK MII MII BLK © 2004 Synopsys, Inc. (13) CONFIDENTIAL
Page 1 and 2: Modeling Usable & Reusable Transact
Page 3 and 4: Verification Environment Transactor
Page 5 and 6: Verification Process Why Should You
Page 7 and 8: Traditional Transactors Procedural
Page 9 and 10: Object-Oriented Transactors Configu
Page 11: Object-Oriented Transactors Transac
Page 15 and 16: Object-Oriented Transactors Transac
Page 17 and 18: Object-Oriented Transactors Excepti
Page 19 and 20: Reusable Transactors Callback Metho
Page 21 and 22: Reusable Transactors Callbacks Meth
Page 23 and 24: Transactor Implementation Class Hie
Page 25: Modeling Usable & Reusable Transact

Verification Methodology using Vera

Create successful ePaper yourself

Delete template?

Save as template?