AFTA: A Formal Delay Model for Functional Timing Analysis

D
DATE
1998
Design Automation and Test in Europe (DATE '98)
Abstract - AFTA: A Formal Delay Model for Functional Timing Analysis

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by V. Chandramouli Articles by Jesse P. Whittemore Articles by Karem A. Sakallah

Design Automation and Test in Europe (DATE '98)

Paris, France

February 23-February 26

ISBN: 0-8186-8359-7

	ASCII Text	x
	V. Chandramouli, Jesse P. Whittemore, Karem A. Sakallah, "AFTA: A Formal Delay Model for Functional Timing Analysis," Design, Automation and Test in Europe Conference and Exhibition, pp. 350, Design Automation and Test in Europe (DATE '98), 1998.

	BibTex	x
	@article{ 10.1109/DATE.1998.655881, author = {V. Chandramouli and Jesse P. Whittemore and Karem A. Sakallah}, title = {AFTA: A Formal Delay Model for Functional Timing Analysis}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {0}, year = {1998}, isbn = {0-8186-8359-7}, pages = {350}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655881}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - AFTA: A Formal Delay Model for Functional Timing Analysis SN - 0-8186-8359-7 SP EP A1 - V. Chandramouli, A1 - Jesse P. Whittemore, A1 - Karem A. Sakallah, PY - 1998 KW - delay model KW - timed-automamata KW - timing analysis KW - states KW - timers VL - 0 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

V. Chandramouli, EECS Department, The University of Michigan,

Jesse P. Whittemore, EECS Department, The University of Michigan,

Karem A. Sakallah, EECS Department, The University of Michigan,

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655881

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

Index Terms:

delay model, timed-automamata, timing analysis, states, timers

Citation:

V. Chandramouli, Jesse P. Whittemore, Karem A. Sakallah, "AFTA: A Formal Delay Model for Functional Timing Analysis," date, pp.350, Design Automation and Test in Europe (DATE '98), 1998

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.