Ajay J. Daga

According to our database, Ajay J. Daga authored at least 7 papers between 1990 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Automated timing model generation.

Ajay J. Daga, Loa Mize, Subramanyam Sripada, Chris Wolff, Qiuyang Wu

Proceedings of the 39th Design Automation Conference, 2002

1997

Interface finite-state machines: definition, minimization, and decomposition.

Ajay J. Daga, William P. Birmingham

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Interface Timing Verification Drives System Design.

Ajay J. Daga, Peter Suaris

Proceedings of the 34st Conference on Design Automation, 1997

1995

The accurate and efficient timing verification of interacting finite state machines.

Ajay J. Daga

PhD thesis, 1995

A symbolic-simulation approach to the timing verification of interacting FSMs.

Ajay J. Daga, William P. Birmingham

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

The Minimization and Decomposition of Interface State Machines.

Ajay J. Daga, William P. Birmingham

Proceedings of the 31st Conference on Design Automation, 1994

1990

Failure Recovery in the MICON System.

Ajay J. Daga, William P. Birmingham

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990