PHAETON
| Beteiligte Mitarbeiter | Beschreibung | Publikationen
|
| Lehrstuhl für Rechnerarchitektur | |
| Matthias Sauer, M. Sc. | Entwickler / Kontakt |
| Alexander Czutro, Dipl.-Inf. | Entwickler / Kontakt |
PHAETON ist ein SAT-basiertes Tool zur Enumeration von sensibilisierbaren Pfaden mit benutzerdefinierter Länge durch bestimmte Zielgatter in einem kombinatorischen oder sequenziellen Schaltkreis.
|
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 |