An Approach for the Verification of SystemC Designs Using AsmL.

Ali Habibi Sofiène Tahar An Approach for the Verification of SystemC Designs Using AsmL. 69-83 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_8 db/conf/atva/atva2005.html#HabibiT05