Publikation

SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache

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

In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13) May 14-16 Dresden Germany VDE 2013.

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