Verification Methodology using Vera

More documents

Recommendations

Info

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

Usable & Reusable Transactors • Separate • Configuration • Transactions • Exceptions • Minimize code required for additional tests • Support • Random configuration • Random stimulus • Self-checking operations • Functional coverage • User-defined exceptions • Block-level verification • System-level verification Requires HVL features © 2004 Synopsys, Inc. (8) CONFIDENTIAL
Object-Oriented Transactors Configuration Interface • Implement <strong>using</strong> class • Configure <strong>using</strong> configuration class • Can be randomized • Pass via constructor and optional reconfigure() method class mii_cfg; rand bit is_100Mb; endclass May May have have to to reset reset transactor © 2004 Synopsys, Inc. (9) CONFIDENTIAL class mii; protected mii_cfg cfg; ... function new(mii_cfg cfg, ...); this.cfg = cfg; endfunction; function void reconfigure(mii_cfg cfg); ... endfunction; endclass
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: Traditional Transactors Procedural
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?