ATPG Aspects of FSM Verification.

Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi

Browse the full ICCAD paper archive.