SAT based timing analysis for fixed and rise/fall gate delay models

Roy, Suchismita ; Chakrabarti, P. P. ; Dasgupta, Pallab (2012) SAT based timing analysis for fixed and rise/fall gate delay models Integration, the VLSI Journal, 45 (4). pp. 357-364. ISSN 0167-9260

Full text not available from this repository.

Official URL:

Related URL:


This paper proposes a SAT based technique for timing analysis by an accurate modeling of event propagation within gate-level circuits. The accuracy of the result depends on the level of detail with which circuit activity is modeled. However, the combinatorial blowup in the size and complexity of the problem is the main bottleneck in any detailed modeling. The proposed technique overcomes this problem by an efficient SAT modeling of events at the nodes of the circuit which scales very smoothly with increase in size of the circuit without sacrificing on accuracy even with industry standard gate delays of 0.01 ns granularity. This improvement in performance enables the modeling of more complex gate delay models like the rise/fall delay model which can simulate circuit activity more realistically than the fixed gate delay model.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
Keywords:Timing Analysis; SAT; Event Modeling; Rise/fall Delays
ID Code:101369
Deposited On:12 Dec 2016 12:00
Last Modified:12 Dec 2016 12:00

Repository Staff Only: item control page