Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions.

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

Browse the full DAC paper archive.