DocumentCode
2236673
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
fYear
2008
fDate
9-12 Oct. 2008
Firstpage
25
Lastpage
29
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EWDTS.2008.5580150
Filename
5580150
Link To Document