Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal verification of digital circuits at register transfer level using reachability analysis

 
: Schönherr, J.; Straube, B.

Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, dedizierte Anwendungen -SFB 358-, Dresden:
4th Workshop on System Design Automation, SDA 2002. Proceedings : Pirna, Germany, April 25 and 26, 2002
Dresden: TU Dresden, 2002
S.73-79
Workshop on System Design Automation (SDA) <4, 2002, Pirna>
Englisch
Konferenzbeitrag
Fraunhofer IIS A ( IIS) ()

: http://publica.fraunhofer.de/dokumente/B-30971.html