TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

Logo IFI
1. Workshop Boolesche Probleme
Home Lehre Email

Ein neues Zeitmodell zur Lösung des false-path-Problems innerhalb der Timing Verifikation

Torsten Schleinig, Dietmar Müller, TU Chemnitz-Zwickau, Fakultät für Elektrotechnik und Informationstechnik, PSF 964 D-09009 Chemnitz

Zusammenfassung
Falsche Pfade sind strukturell in einer synchronen digitalen Schaltung vorhandene Pfade, die aufgrund der Funktion der Schaltung nicht aktivierbar sind. Sie haben damit keinen Einfluß auf die Verzögerungszeit einer Schaltung zwischen einer Ein- und einer Ausgangsänderung. Der verwendete Ansatz nutzt die Boolesche und zeitliche Ableitung zur Beschreibung der Wechselwirkungen bei Änderungen in einer Schaltung. Eine Aufspaltung der Schaltung in bestimmte Grundelemente entfällt somit. Neue Eigenschaften werden dadurch nicht in die Schaltung hineininterpretiert.



Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
16. Februar 1997