Verifying SystemC using Stateful Symbolic Simulation

@inproceedings{pub7688,
    author = {

Herdt, Vladimir
 and 

Le, Hoang M.
 and 

Drechsler, Rolf
},
    title = {Verifying SystemC using Stateful Symbolic Simulation},
    booktitle = {Design Automation Conference (DAC). Design Automation Conference (DAC), June 7-11, San Francisco, United States},
    year = {2015}
}