Full symbolic ATPG for large circuits
Gianpiero Cabodi, Paolo Enrico Camurati, Stefano Quer · 2002
Until now, symbolic FSM state space exploration techniques were limited to small circuits. This paper presents a combination of approximate forward and exact backward traversal that handles larger circuits. For the first time, we have been able to generate test patterns for or to tag as undetectable the faults of some ISCAS'89 and MCNC benchmarks never considered before.