Travelled to:4 × USA
Collaborated with:W.P.Birmingham P.Suaris L.Mize S.Sripada C.Wolff Q.Wu
Talks about:interfac (2) system (2) time (2) decomposit (1) recoveri (1) generat (1) machin (1) failur (1) design (1) verif (1)
Person: Ajay J. Daga
DBLP: Daga:Ajay_J=
Contributed to:
2002199719941990Wrote 4 papers:
- DAC-2002-DagaMSWW #automation #generative
- Automated timing model generation (AJD, LM, SS, CW, QW), pp. 146–151.
- DAC-1997-DagaS #design #interface #verification
- Interface Timing Verification Drives System Design (AJD, PS), pp. 240–245.
- DAC-1994-DagaB #composition #interface #state machine
- The Minimization and Decomposition of Interface State Machines (AJD, WPB), pp. 120–125.
- DAC-1990-DagaB
- Failure Recovery in the MICON System (AJD, WPB), pp. 686–691.