|
1. Workshop Boolesche Probleme |
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.