Publication
Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation
Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt
In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.