Bounded delay timing analysis and power estimation using SAT

Roy, Suchismita ; Chakrabarti, P. P. ; Dasgupta, Pallab (2010) Bounded delay timing analysis and power estimation using SAT Microelectronics Journal, 41 (5). pp. 317-324. ISSN 0026-2692

Full text not available from this repository.

Official URL:

Related URL:


This paper presents a satisfiability based approach that can be used for accurate estimation of both the critical delay and dynamic transition power consumption of circuits using an event propagation model. The accuracy of the model depends on the accuracy of the gate delays. The speed and efficiency of modern Boolean SAT solvers permits us to model complicated delay models like the Bounded Delay Model, which is better able to capture realistic variations in gate delays due to process variations and changes in operating conditions. We show that timing analysis with bounded delays yields a more accurate critical delay for a circuit than with fixed gate delays. In spite of the high complexity due to unpredictable gate delays, our SAT based approach gives good performance on benchmark circuits, even with a Bounded Delay Model derived from a real industrial library.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
Keywords:Bounded Delay; Event Modeling; Timing Analysis; Transition Power; SAT
ID Code:101402
Deposited On:12 Dec 2016 11:46
Last Modified:12 Dec 2016 11:46

Repository Staff Only: item control page