Verification Methodology using Vera

More documents

Recommendations

Info

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

Transactors Implementation • Simple to write transactors that • Always do the right thing • Operate as fast as possible • How can an environment • Integrate a scoreboard • Add functional coverage • How can a test • Introduce delays • Respond with "retry", "abort" or not respond • Inject errors Without rewriting/modifying original transactor © 2004 Synopsys, Inc. (6) CONFIDENTIAL
Traditional Transactors Procedural Interface • Complex control interface • Configuration commands • Transaction commands • Exception commands • Creates new programming language Different concerns Same mechanism Rich Rich set set of of commands Test Grow in in complexity Desired function must must exist exist in in a command Always modifying transactor Become test-specific © 2004 Synopsys, Inc. (7) CONFIDENTIAL
Page 1 and 2: Modeling Usable & Reusable Transact
Page 3 and 4: Verification Environment Transactor
Page 5: Verification Process Why Should You
Page 9 and 10: Object-Oriented Transactors Configu
Page 11 and 12: 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?