ATPG aspects of FSM verification (1990)

by H Cho, G Hachtel, S-W Jeong, B Plessier, E Schwarz, F Somenzi
Venue:In IEEE Int. Conf. on CAD