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.

An Optimized CLP-based Technique for Generating Propagation Sequences

FUMMI, Franco;GUARNIERI, Valerio;MARCONCINI, Cristina;PRAVADELLI, Graziano
2008

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.
9781424434022
Functional ATPG; constraint logic programming
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/323063
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact