Narayana Mani

According to our database, Narayana Mani authored at least 4 papers between 1989 and 1993.

Collaborative distances:

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

1993

A new state assignment technique for asynchronous finite state machines.

Tam Anh Chu, Narayana Mani, Clement K. C. Leung

Proceedings of the Third Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1993

An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines.

Tam Anh Chu, Narayana Mani, Clement K. C. Leung

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1989

HOP: A process model for synchronous hardware; semantics and experiments in process composition.

Ganesh Gopalakrishnan, Richard M. Fujimoto, Venkatesh Akella, Narayana Mani

Integr., 1989

Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition.

Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989