Tod Amon

Publication Activity (10 Years)

Years Active: 1991-2000
Publications (10 Years): 0

Publications

Henrik Hulgaard, Tod Amon
Symbolic timing analysis of asynchronous systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (10) (2000)
Tod Amon, Henrik Hulgaard
Symbolic Time Separation of Events. ASYNC (1999)
Tod Amon, Gaetano Borriello, Jiwen Liu
Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. DAC (1998)
Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu
Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. DAC (1997)
Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. IEEE Trans. Computers 44 (11) (1995)
Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
Practical applications of an efficient time separation of events algorithm. ICCAD (1993)
Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. ICCD (1993)
Tod Amon, Gaetano Borriello
An Approach to Symbolic Timing Verification. DAC (1992)
Tod Amon, Gaetano Borriello
OEsim: A Simulator for Timing Behavior. DAC (1991)
Tod Amon, Gaetano Borriello
Sizing Synchronization Queues: A Case Study in Higher Level Synthesis. DAC (1991)