Ajay J. Daga

Publication Activity (10 Years)

Years Active: 1990-2002
Publications (10 Years): 0

Publications

Ajay J. Daga, Loa Mize, Subramanyam Sripada, Chris Wolff, Qiuyang Wu
Automated timing model generation. DAC (2002)
Ajay J. Daga, William P. Birmingham
Interface finite-state machines: definition, minimization, and decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (5) (1997)
Ajay J. Daga, Peter Suaris
Interface Timing Verification Drives System Design. DAC (1997)
Ajay J. Daga, William P. Birmingham
A symbolic-simulation approach to the timing verification of interacting FSMs. ICCD (1995)
Ajay J. Daga, William P. Birmingham
The Minimization and Decomposition of Interface State Machines. DAC (1994)
Ajay J. Daga, William P. Birmingham
Failure Recovery in the MICON System. DAC (1990)