Atpg aspects of fsm verification (1990)

by H Cho, G Hachtel, S Jeong, B Plessier, E Shwarz, F Somenzi
Venue:In Proc. ICCAD