Functional verification based on the EFSM model
Franco Fummi, Cristina Marconcini, Graziano Pravadelli · 2004
The paper presents a methodology for addressing hard-to-detect faults when a high-level ATPG is applied to verify functional descriptions of sequential circuits. A particular kind of extended finite state machines is adopted to improve detectability of such faults.