An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines.

Riccardo Forth, Paul Molitor

Browse the full ASPDAC paper archive.