TU Bergakademie Freiberg |
Fakultät für Mathematik und Informatik
|
2. Workshop Boolsche Probleme |
This page in English
Timing Verifikation unter Nutzung der Booleschen und zeitlichen Ableitung
Torsten Schleinig,
Dietmar Müller
Zusammenfassung
Die Timing Verifikation ist integraler Bestandteil des Entwurfsprozesses, um gegenwärtig
zu Verfügung stehende Schaltungskomplexitäten mit vertretbaren Aufwand verifizieren
zu können. Die funktionellen Aspekte spielen dabei eine immer größere Rolle.
Der vorgestellte Ansatz zur Bestimmung der Sensibilisierungsbedingungen beruht auf einem
Verzögerungsmodell, das die Boolesche und zeitliche Ableitung des Booleschen
Differentialkalküls nutzt. Aufbauend auf diesem Modell kann die Anzahl der zu untersuchenden
Pfade drastisch reduziert werden..
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
19. Februar 1997