« Projekte
Überdeckungsmaße für Property Checking von Hardware
Projektbearbeiter:
Roberto Hoffmann, André Stutzbach
Finanzierung:
Industrie;
In dem Projekt wird nach Ansätzen gesucht, die es erlauben, zu quantifizieren, inwieweit die Validierung eines Systems vollständig ist. In der Praxis erfolgt heutzutage der Test, ob das implementierte System die gewünschte Funktionalität hat, im Rahmen einer so genannten Modellüberprüfung, d.h. es wird überprüft, ob die Implementierung einem Satz von Eigenschaften genügt. Inwiefern dieser Satz von Eigenschaften in Bezug auf die gewünschte Funktionalität vollständig ist, ist in der Regel der Intuition des Verifikatioonsingenieurs überlassen. Es sind Ansätze und Werkzeuge zu entwickeln, die den Verifikationsingenieur bei der Einschätzung der Vollständigkeit des Eigenschaftensatzes unterstützen.

Schlagworte

Circuit Design, Hardware, Hardware Entwurf, Schaltkreisentwurf
Kontakt

weitere Projekte

Die Daten werden geladen ...