BDD Variable Ordering for Interacting Finite State Machines.

Adnan Aziz, Serdar Tasiran, Robert K. Brayton

Browse the full DAC paper archive.