SAT-based analysis of sensitisable paths

SAT-based analysis of sensitisable paths,10.1109/DDECS.2011.5783055,Matthias Sauer,Alexander Czutro,Tobias Schubert,Stefan Hillebrecht,Ilia Polian,Ber

SAT-based analysis of sensitisable paths   (Citations: 1)
BibTex | RIS | RefWorks Download
Manufacturing defects in nanoscale tech- nologies have highly complex timing behaviour that is also aected by process variations. While conventional wisdom suggests that it is optimal to detect a delay defect through the longest sensitisable path, non-trivial defect behaviour along with modelling inaccuracies necessitate consideration of paths of well-controlled length during test generation. We present a generic methodology that yields tests through all sensitisable paths of user-specied length. The resulting tests can be employed within the framework of adaptive testing. The methodology is based on encoding the problem as a Boolean-satisabi lity (SAT) instance and thereby leverages recent advances in SAT-solving technology.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...The tool PHAETON introduced in this paper is based on a path-analysis approach presented in [14]...
    • ...This section introduces the tool PHAETON 1 ,w hich was designed to enumerate sensitisable paths of user-defined lengths through given target gates [14] and was adapted in this paper to allow the computation of criticality measures...
    • ...Section II-A provides a review of the algorithm presented in [14]...
    • ...1 We started using the working name PHAETON (PatH Analysis and Enumeration on top of Test generatiON) after the publication of [14]...
    • ...For a more detailed description, please see [14]...

    Matthias Saueret al. Estimation of component criticality in early design steps

Sort by: