Redundancies and Don't Cares in Sequential Logic Synthesis.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton

Browse the full ITC paper archive.