AFTA: A Formal Delay Model for Functional Timing Analysis

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 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 time accounting for circuit functionality. This paper presents this delay model.

• Type: Conference
• Year: 1998
• Where: DATE
• Authors: V. Chandramouli, Jesse Whittemore, Karem A. Sakallah
• Keywords: DATE 1998, Delay Model, Factors Affecting Delay, Hardware, Timing Analysis