Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient algorithms for computing the longest viable path in a combinational network
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Static timing analysis of dynamically sensitizable paths
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Selection of Voltage Thresholds for Delay Measurement
Analog Integrated Circuits and Signal Processing - Special issue: analog design issues in digital VSLI circuits and systems
The dynamics of digital excitation
The dynamics of digital excitation
Efficient Timing Analysis for CMOS Circuits Considering Data Dependent Delays
ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors
Hi-index | 0.00 |
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project that aims to provide such a foundation for functional timing analysis. As part of this work we have developed an abstract automaton based delay model that accounts for the various analog factors affecting delay, such as signals slopes, near simultaneous switching, etc., while at the same timweb accounting for circuit functionality. This paper presents this delay model