Results on the Interface between Formal Verification and ATPG. - Hyunwoo Cho; Gary D. Hachtel; Seh-Woong Jeong; Bernard Plessier; Eric M. Schwarz; Fabio Somenzi (CAV (DIMACS/AMS volume), 1990)

ATPG Aspects of FSM Verification. - Hyunwoo Cho; Gary D. Hachtel; Seh-Woong Jeong; Bernard Plessier; Eric M. Schwarz; Fabio Somenzi (ICCAD, 1990)

Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. - Seh-Woong Jeong; Bernard Plessier; Gary D. Hachtel; Fabio Somenzi (ICCAD, 1991)

Variable Ordering and Selection for FSM Traversal. - Seon-Woong Jeong; Bernard Plessier; Gary D. Hachtel; Fabio Somenzi (ICCAD, 1991)

Verification of systems containing counters. - Enrico Macii; Bernard Plessier; Fabio Somenzi (ICCAD, 1992)

Algorithms for Approximate FSM Traversal. - Hyunwoo Cho; Gary D. Hachtel; Enrico Macii; Bernard Plessier; Fabio Somenzi (DAC, 1993)

Symmetry detection and dynamic variable ordering of decision diagrams. - Shipra Panda; Fabio Somenzi; Bernard Plessier (ICCAD, 1994)

Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. - Bernard Plessier; Gary D. Hachtel; Fabio Somenzi (Formal Methods Syst. Des., 1994)

Algorithms for approximate FSM traversal based on state space decomposition. - Hyunwoo Cho; Gary D. Hachtel; Enrico Macii; Bernard Plessier; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Formal verification of digital systems by automatic reduction of data paths. - Enrico Macii; Bernard Plessier; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)