Eric Schwarz, and Fabio Somenzi, "ATPG Aspects of FSMVerification (1990)

by Hyunwoo Cho, Gary Hachtel, Seh-Woong Jeong, Bernard Plessier
Venue:IEEE International Conference on Computer-Aided Design