Title :
An optimized CLP-based technique for generating propagation sequences
Author :
Fummi, F. ; Guarnieri, Valerio ; Marconcini, C. ; Pravadelli, Graziano
Author_Institution :
Dipt. di Inf., Univ. di Verona, Verona, Italy
Abstract :
The paper presents a constraint logic programming-based methodology to generate propagation sequences for functional faults by traversing extended finite state machines. Moreover, different strategies are presented to deal with the state explosion problem arising when constraint logic programming is adopted for solving hard problems. Experimental results show the effectiveness of the proposed solutions.
Keywords :
circuit optimisation; constraint handling; finite state machines; logic testing; sequential circuits; CLP-based technique optimisation; constraint logic programming-based methodology; extended finite state machines; functional faults; hard problems; propagation sequences; state explosion problem; Automatic test pattern generation; Circuit faults; Engines; Explosions; Logic gates; Optimization; Registers;
Conference_Titel :
Design & Test Symposium (EWDTS), 2008 East-West
Conference_Location :
Lviv
Print_ISBN :
978-1-4244-3402-2
Electronic_ISBN :
978-1-4244-3403-9
DOI :
10.1109/EWDTS.2008.5580150
