Tecniche di diagnosi per circuiti sequenziali

Questo articolo presenta un metodo per stabilire il potere diagnostico di una data sequenza di collaudo attraverso lasimulazione diagnostica di guastie una procedura diagnostica per migliorarlo. La procedura diagnostica impiega con successo algoritmi simbolici per la prova di equivalenza tra macchine a stati finiti. Al fine di ricorrere all'attraversamento della macchina prodotto solo quando strettamente necessario, vengono fatti dei controlli speciali per verificare l'identit combinatoria e l'identit sugli stati raggiungibili. Siccome ogni guasto viene associato alla suaclasse di equivalenza, questo metodo pu essere utilizzato per costruire l'albero diagnostico esatto e completo. I risultati sperimentali sui circuiti ISCAS'89 [BBKo89] dimostrano che la diagnosi di circuiti sequenziali sincroni reali divenuta per la prima volta fattibile.