| Spezifikation von Systemen und Komponenten durch formale und semiformale Methoden Im Rahmen des Projektes wurde evaluiert, wie sich der ASIC-
Entwurfsprozess formalisieren lässt. Dazu wurde die
traditionelle Verifikation im Hause Lucent analysiert, eine
Klassifizierung der verwendeten Tests durchgeführt und eine
tabellenbasierte Spezifikationsmethode entwickelt. | Project manager:
Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Project participants:
Dipl.-Inf. Stefan Gossens
Duration: 1.10.2000 - 31.3.2001
Sponsored by:
Lucent Technologies, Nürnberg
Mitwirkende Institutionen:
Lucent Technologies, Nürnberg
Lehrstuhl für rechnergestützten Schaltungsentwurf der FAU
|