Die Qualität und die Entwicklungszeit einer ersten Umsetzung eines neuen Produkts bzw. einer Produktvariante hängt entscheidend von einer korrekten Spezifikation ab. Der Abteilung Systementwurf in der Mikroelektronik (SiM) des Forschungszentrums für Informatik (FZI) ist es gelungen, in Zusammenarbeit mit der MOST Cooperation, unterschiedlichste Fehlerarten schon während der Entstehung der Spezifikation aufzudecken.