Title :
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL
Author :
Bombieri, Nicola ; Fummi, Franco ; Pravadelli, Graziano
Author_Institution :
Dipt. di Informatica, Universita di Verona
Abstract :
Transaction level modeling (TLM) is becoming a usual practice for simplifying system-level design and architecture exploration. It allows the designers to focus on the functionality of the design, while abstracting away implementation details that will be added at lower abstraction levels. However, moving from transaction level to RTL requires redefining TLM test benches and assertions. Such a wasteful and error prone conversion can be avoided by adopting transactor-based verification (TBV). Many recent works adopt this strategy to propose verification methodologies that allow: (1) mixing TLM and RTL components; and (2) reusing TLM assertions and test benches at RTL. Even if practical advantages of such an approach are evident, there are no papers in the literature that evaluate the effectiveness of the TBV compared to a more traditional RTL verification strategy. This paper is intended to fill in the gap. It theoretically compares the quality of the TBV towards the rewriting of assertions and test benches at RTL with respect to both fault coverage and assertion coverage
Keywords :
integrated circuit design; logic design; RTL verification strategy; architecture exploration; assertion coverage; error prone conversion; fault coverage; reusing TLM assertions; system-level design; test benches; transaction level modeling; transactor-based verification; Computational modeling; Computer architecture; Context; Intellectual property; Libraries; Protocols; Signal mapping; System testing; System-level design; Timing;
Conference_Titel :
Design, Automation and Test in Europe, 2006. DATE '06. Proceedings
Conference_Location :
Munich
Print_ISBN :
3-9810801-1-4
DOI :
10.1109/DATE.2006.243898