Variable Ordering and Selection for FSM Traversal

Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi. Variable Ordering and Selection for FSM Traversal. In ICCAD. pages 476-479, 1991.

Abstract

Abstract is missing.