BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

DAC 19981998
DAC 19971997
DAC 19921992
DAC 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.