General and efficient SAT-based ATPG framework for multiple various faults and its application to partial logic and system synthesis

Masahiro Fujita - Graduate School of Engineering, The University of Tokyo
Date and time
Thursday, October 16, 2014 at 5:00 PM - 16:45 rinfresco; 17:00 inizio seminario
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Tiziano Villa
External reference
Publication date
September 30, 2014
Computer Science  


We present a SAT-based automatic test pattern generationmethod by which complete test patterns for multiple faults of multiple fault models can be generated. The entire ATPG process is formulated as incremental SAT problem, which makes computations 10-50 times faster than approaches with normal non-incremental SAT solvers. Also, given initial test patterns, the required patterns for the remaining faults can be generated as extra patterns. This means we can start with generating test patterns for, say multiple stuck-at faults, and after that, the test patterns are expanded to test multiple faults of another fault models, such as toggle faults. We show various experimental results with ISCAS89 circuits, some of which are very interesting in the sense that small numbers of extra patterns are required when we expand the target fault models. We also present applications of the proposed ATPG method to logic and system synthesis where the ranges of design transformations are constrained which are represented as sorts of 


© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234