Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation

@inproceedings{pub6694,
    author = {

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
 and 

Herdt, Vladimir
},
    title = {Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation},
    booktitle = {Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, United States},
    year = {2013},
    publisher = {IEEE}
}