Publikation

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 United States 2015.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence