PHAETON
| project staff | description | publications
|
| Chair of Computer Architecture | |
| Matthias Sauer, M. Sc. | developer / contact |
| Alexander Czutro, Dipl.-Inf. | developer / contact |
PHAETON is a SAT-based tool for the enumeration of sensitisable paths with user-defined lengths through given target gates in a combinational or sequential circuit.
|
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 |