Hybrid, incremental assertion-based verification for TLM design flows

IEEE Design and Test of Computers

Volumn 24, Issue 2, 2007, Pages 140-152

  Bombieri, Nicola ^a   Fummi, Franco ^a   Pravadelli, Graziano ^a   Fedeli, Andrea ^b  

^a UNIVERSITY OF VERONA   (Italy)

^b STMICROELECTRONICS   (Italy)

Author keywords

Assertion based verification; Design flow; Hybrid; RTL; TLM

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED DESIGN; COMPUTER SYSTEMS; MODEL CHECKING;

ASSERTION-BASED VERIFICATION; DESIGN FLOW; TRANSACTION-LEVEL MODELING (TLM);

VERIFICATION;

EID: 34347403228     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2007.48     Document Type: Article

References (12)

1. L. Cai and D. Gajski, "Transaction Level Modeling: An Overview," Proc. 1st IEEE/ACM/IFIP Int'l Conf. Hardware/Software Codesign and System Synthesis, IEEE Press, 2003, pp. 19-24.
2. A. Habibi and S. Tahar, "Towards an Efficient Assertion Based Verification of SystemC Designs," Proc. 9th IEEE Int'l High-Level Design Validation and Test Workshop (HLDVT 04), IEEE CS Press, 2004, pp. 19-22.
3. A. Rose et al., "Transaction Level Modeling in SystemC," white paper, 2004, http://www.systemc.org.
4. A. Dahan et al., "Combining System Level Modeling with Assertion Based Verification," Proc. 6th Int'l Symp. Quality Electronic Design (ISQED 05), IEEE CS Press, 2005, pp. 310-315.
5. N. Bombieri, F. Fummi, and G. Pravadelli, "On the Evaluation of Transactor-Based Verification for Reusing TLM Assertions and Testbenches at RTL," Proc. Design, Automation and Test in Europe Conf. (DATE 06), IEEE Press, 2006, pp. 1007-1012.
6. A. Fedeli, F. Fummi, and G. Pravadelli, "Properties Incompleteness Evaluation by Functional Verification," IEEE Trans. Computers, vol. 56, no. 4, Apr. 2007, pp. 528-544.
7. Accellera, Property Specification Language Reference Manual, 2004.
8. C. Hoare, "An Axiomatic Basis for Computer Programming," Comm. ACM vol. 12, no. 10, Oct. 1969, pp. 576-585.
9. Synopsys, "Magellan - Hybrid RTL Formal Verification," 2004, http://www.synopsys.com/products/magellan.
10. N. Jayakumar, M. Purandare, and F. Somenzi, "Dos and Don'ts of CTL State Coverage Estimation," Proc. 40th Design Automation Conf. (DAC 03), ACM Press, 2003, pp. 292-295.
11. M. Borgatti et al., "An Integrated Design and Verification Methodology for Reconfigurable Multimedia System," Proc. Design, Automation and Test in Europe Conf. (DATE 05), IEEE CS Press, 2005, vol. 1, pp. 266-271.
12. H. Cho, S. Abdi, and D. Gajski, "Design and Implementation of Transducer for ARM-TMS Communication," Proc. Asia and South Pacific Design Automation Conf. (ASP-DAC 06), ACM Press, 2006, pp. 126-127.