Publikation

Towards Verifying Determinism of SystemC Design

Hoang M. Le, Rolf Drechsler

In: Design, Automation & Test in Europe - Proceedings. Design, Automation & Test in Europe (DATE-14) March 24-28 Dresden Germany IEEE 2014.

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