On the extension of SystemC by SystemVerilog Assertions (2004)

by A Habibi, S Tahar
Venue:In Canadian Conference on Electrical & Computer Engineering