Association for Computing Machinery (ACM) - Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions

30th ACM/IEEE Design Automation Conference

Author(s): W.K.C. Lam ; R.K. Brayton ; A.L. Sangiovanni-Vincentelli
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 January 1993
Conference Location: Dallas, TX, USA, USA
Conference Date: 14 June 2014
Page(s): 128 - 134
ISBN (Paper): 0-89791-577-1
ISSN (Paper): 0738-100X
DOI: 10.1145/157485.164625

We propose a general circuit delay model that unifies all previous delay models, e.g. floating, viability, and transition delays, and models introduced in this paper, e.g. delays by sequences of... View More