TU Bergakademie Freiberg |
Fakultät für Mathematik und Informatik
|
2. Workshop Boolsche Probleme |
This page in English
Hasarduntersuchung selbstsynchonisierender Grundelemente mit Hilfe des
Booleschen Differentialkalküls
Robert Richter, H.-J. Brand,
Prof. Dr.-Ing. habil. Dietmar Müller
Zusammenfassung
Selbstsynchronisierende Systeme (self-timed systems)
arbeiten ereignisgesteuert und müssen deshalb unbedingt hasardfrei sein,
um eine korrekte Funktionsweise zu garantieren. Bei einer Implementierung
von selbstsynchronisierenden Grundelementen in Xilinx-FPGAs sind besonders
die Funktionshasards zu beachten. Für die Untersuchung der einzelnen
Grundelemente wurden Programme entwickelt, die auf der Basis von XBoole
alle Funktionshasards sowie alle wesentlichen Hasards ermitteln.
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
19. Februar 1997