Publication
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.