Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2010
Simulated event propagation in distributed, open environments
SpringSim '10: Proceedings of the 2010 Spring Simulation MulticonferenceArticle No.: 17, Pages 1–8https://doi.org/10.1145/1878537.1878555This paper presents a design for simulating the propagation of environmental events in distributed, open environments. Environmental events are properties of the simulated environment that may affect the state of the environment and the behavior of ...
- research-articleMay 2008
Event propagation for accurate circuit delay calculation using SAT
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 12, Issue 3Article No.: 36, Pages 1–23https://doi.org/10.1145/1255456.1255473A 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 ...
- research-articleSeptember 2006
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 25, Issue 9Pages 1793–1814https://doi.org/10.1109/TCAD.2005.859508Present-day designers require deep reasoning methods to analyze circuit timing. This includes analysis of effects of dynamic behavior (like glitches) on critical paths, simultaneous switching, and identification of specific patterns and their timings. ...
- articleJuly 1997
Event propagation conditions in circuit delay computation
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 2, Issue 3Pages 249–280https://doi.org/10.1145/264995.264998Accurate and efficient computation of delays is a central problem in computer-aided design of complex VLSI circuits. Delays are determined by events (signal transitions) propagated from the inputs of a circuit to its outputs, so precise characterization ...
- doctoral_thesisJanuary 1997
Hierarchical timing analysis of digital circuits
This thesis presents systematic modeling and analysis techniques for the accurate and efficient timing analysis of complex digital integrated circuits. Two major, but little studied, aspects of timing analysis are emphasized: characterization of the ...