《Event Propagation for Accurate Circuit Delay Calculation using SAT》.pdfVIP

Event Propagation for Accurate Circuit Delay Calculation Using SAT SUCHISMITA ROY, P. P. CHAKRABARTI, and PALLAB DASGUPTA Indian Institute of Technology, Kharagpur A SAT-based modeling for event propagation in gate-level digital circuits, which is used for accurate calculation of critical delay in combinational and sequential circuits, is presented in this article. The accuracy of the critical delay estimation process depends on the accuracy with which the circuit in operation is modeled. A high level of precision in the modeling of the internal events in a circuit for the sake of greater accuracy causes a combinatorial blowup in the size of the problem, resulting in a scalability bottleneck for which most existing techniques effect a trade-off by restricting themselves to less precise models. SAT based techniques have a good track record in efficiency and scalability when the problem sizes become too large for most other methods. This article proposes a SAT-based technique for symbolic event propagation within a circuit which facilitates the estimation of the critical delay of circuits with a greater degree of accuracy, while at the same time scaling efficiently to large circuits. We report very encouraging results on the ISCAS85 and ISCAS89 benchmark circuits using the proposed technique. Categories and Subject Descriptors: C.4 [Performance of Systems]—Modeling techniques General Terms: Design Additional Key Words and Phrases: Critical delay, event propagation, SAT ACM Reference Format: Roy, S., Chakrabarti, P.P., and Dasgupta, P. 2007. Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Des. Autom. Electron. Syst. 12, 3, Article 36 (August 2007), 23 pages. DOI = 10.1145/1255456.1255473 /10.1145/1255456.1255473 1. INTRODUCTION Accurate and efficient estimation of timing delays in digital circuits is a crit- ical and challenging task, particularly due to the role of delay estimation in determining the speed of ope