Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

PHAETON

| Beteiligte Mitarbeiter | Beschreibung | Publikationen |


Beteiligte Mitarbeiter

Lehrstuhl für Rechnerarchitektur
Alexander Czutro, Dipl.-Inf. Entwickler / Kontakt
Matthias Sauer, M. Sc. Entwickler / Kontakt


Beschreibung

PHAETON ist ein SAT-basiertes Tool zur Enumeration von sensibilisierbaren Pfaden mit benutzerdefinierter Länge durch bestimmte Zielgatter in einem kombinatorischen oder sequenziellen Schaltkreis.



Publikationen
Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
SAT-based analysis of sensitisable paths
IEEE 14th Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2011