Travelled to:4 × USA
Collaborated with:G.Borriello J.Liu T.Hu
Talks about:time (5) presburg (2) formula (2) symbol (2) verif (2) use (2) relationship (1) synthesi (1) synchron (1) behavior (1)
Person: Tod Amon
DBLP: Amon:Tod
Contributed to:
1998199719921991Wrote 5 papers:
- DAC-1998-AmonBL #using
- Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares (TA, GB, JL), pp. 586–590.
- DAC-1997-AmonBHL #diagrams #using #verification
- Symbolic Timing Verification of Timing Diagrams using Presburger Formulas (TA, GB, TH, JL), pp. 226–231.
- DAC-1992-AmonB #approach #verification
- An Approach to Symbolic Timing Verification (TA, GB), pp. 410–413.
- DAC-1991-AmonB #behaviour #named
- OEsim: A Simulator for Timing Behavior (TA, GB), pp. 656–661.
- DAC-1991-AmonB91a #case study #synthesis
- Sizing Synchronization Queues: A Case Study in Higher Level Synthesis (TA, GB), pp. 690–693.