| 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. | Projektleitung:
Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Beteiligte:
Dipl.-Inf. Stefan Gossens
Laufzeit: 1.10.2000 - 31.3.2001
Förderer:
Lucent Technologies, Nürnberg
Mitwirkende Institutionen:
Lucent Technologies, Nürnberg
Lehrstuhl für rechnergestützten Schaltungsentwurf der FAU
|