Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level

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

Marwedel, P.:
Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings
Los Alamitos, Calif.: IEEE Computer Society, 2000
ISBN: 0-7695-0537-6
ISBN: 0-7695-0538-4
ISBN: 0-7695-0539-2
Design, Automation and Test in Europe Conference and Exhibition (DATE) <2000, Paris>
Englisch
Konferenzbeitrag
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()

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