|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows
March-April 2007 (vol. 24 no. 2)
pp. 140-152
| ASCII Text | x | ||
| Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli, "Hybrid, Incremental Assertion-Based Verification for TLM Design Flows," IEEE Design & Test of Computers, vol. 24, no. 2, pp. 140-152, March-April, 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/MDT.2007.48, author = {Nicola Bombieri and Franco Fummi and Graziano Pravadelli and Andrea Fedeli}, title = {Hybrid, Incremental Assertion-Based Verification for TLM Design Flows}, journal ={IEEE Design & Test of Computers}, volume = {24}, number = {2}, issn = {0740-7475}, year = {2007}, pages = {140-152}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2007.48}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Design & Test of Computers TI - Hybrid, Incremental Assertion-Based Verification for TLM Design Flows IS - 2 SN - 0740-7475 SP140 EP152 EPD - 140-152 A1 - Nicola Bombieri, A1 - Franco Fummi, A1 - Graziano Pravadelli, A1 - Andrea Fedeli, PY - 2007 KW - hybrid KW - assertion-based verification KW - TLM KW - design flow KW - RTL VL - 24 JA - IEEE Design & Test of Computers ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2007.48
Transaction-level modeling (TLM) has been proposed as the leading strategy to address the ever-increasing complexity of digital systems. However, its introduction brings a new challenge for designers and verification engineers. Because no tools are available to automatically derive an RTL implementation from a transaction-level (TL) design, manual refinements are necessary. This article presents a hybrid, incremental assertion-based verification (ABV) methodology to check the correctness of the TL-to-RTL refinement. The methodology relies on reusing assertions and already-checked code and is guided by assertion coverage metrics.
Index Terms:
hybrid, assertion-based verification, TLM, design flow, RTL
Citation:
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli, "Hybrid, Incremental Assertion-Based Verification for TLM Design Flows," IEEE Design & Test of Computers, vol. 24, no. 2, pp. 140-152, March-April 2007, doi:10.1109/MDT.2007.48
Usage of this product signifies your acceptance of the Terms of Use.