Narayana Mani

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

Tam Anh Chu, Narayana Mani, Clement K. C. Leung
An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines. DAC (1993)
Tam Anh Chu, Narayana Mani, Clement K. C. Leung
A new state assignment technique for asynchronous finite state machines. Great Lakes Symposium on VLSI (1993)
Ganesh Gopalakrishnan, Richard M. Fujimoto, Venkatesh Akella, Narayana Mani
HOP: A process model for synchronous hardware; semantics and experiments in process composition. Integr. 8 (3) (1989)
Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems (1989)