An Approach for the Verification of SystemC Designs Using AsmL

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11562948_8 ◽

2005 ◽

pp. 69-83 ◽

Cited By ~ 9

Author(s):

Ali Habibi ◽

Sofiène Tahar

Download Full-text