FATE: a Functional ATPG to Traverse Unstabilized EFSMs
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli · 2006
The paper describes a functional ATPG that explores the DUT state space by exploiting an easy-to-traverse extended FSM model. The ATPG engine relies on learning, backjumping and constraint logic programming to deterministically generate test vectors for traversing all transitions of the EFSM