Multi-level logic optimization of FSM networks.

Huey-Yih Wang, Robert K. Brayton

Browse the full ICCAD paper archive.