Tod Amon

According to our database, Tod Amon authored at least 9 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Symbolic timing analysis of asynchronous systems.

Henrik Hulgaard, Tod Amon

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999

Symbolic Time Separation of Events.

Tod Amon, Henrik Hulgaard

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.

Tod Amon, Gaetano Borriello, Jiwen Liu

Proceedings of the 35th Conference on Design Automation, 1998

1997

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu

Proceedings of the 34st Conference on Design Automation, 1997

1995

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.

Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello

IEEE Trans. Computers, 1995

1993

Practical applications of an efficient time separation of events algorithm.

Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

An Approach to Symbolic Timing Verification.

Tod Amon, Gaetano Borriello

Proceedings of the 29th Design Automation Conference, 1992

1991

Sizing Synchronization Queues: A Case Study in Higher Level Synthesis.

Tod Amon, Gaetano Borriello

Proceedings of the 28th Design Automation Conference, 1991

OEsim: A Simulator for Timing Behavior.

Tod Amon, Gaetano Borriello

Proceedings of the 28th Design Automation Conference, 1991