An Approach for the Verification of SystemC Designs Using AsmL.

Ali Habibi, Sofine Tahar

Browse the full ATVA paper archive.