Publication
Verifying SystemC using Stateful Symbolic Simulation
Vladimir Herdt; Hoang M. Le; Rolf Drechsler
In: Design Automation Conference (DAC). Design Automation Conference (DAC), June 7-11, San Francisco, USA, 2015.
Publication