Exact Minimum Cycle Times for Finite State Machines.

William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.