Efficient SAT-based Combinational ATPG using Multi-level Don't-Cares. Nikhil Saluja Department of ECE, University of Colorado Boulder, CO Sunil P Khatri Department of ECE, Texas A&M University College Station, TX. Outline. Motivation and Introduction Boolean SATisfiability (SAT)
Department of ECE, University of ColoradoBoulder, CO
Sunil P KhatriDepartment of ECE, Texas A&M UniversityCollege Station, TX
where f is some primary output of the multi-level Boolean circuit.
(!z + x).(!z + y).(z + !x + !y)
Pj-active => !(CODCp)
ACODCs Don't-CaresExperimental Results
Thanks for Don't-Cares