ATPG aspects of FSM verification (1990)

by H CHO, G HACHTEL, S W JEONG, B PLESSIER, E SCHWARZ, F SOMENZI
Venue:In Proceedings of the International Conference on Computer-Aided Design