Publikation

Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) IEEE 2018.

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