Variable Ordering and Selection for FSM Traversal.

Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.