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
|