Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions

William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. In DAC. pages 128-134, 1993. [doi]

Abstract

Abstract is missing.