Nari Krishnamurthy

According to our database, Nari Krishnamurthy authored at least 2 papers between 1993 and 1998.

Collaborative distances:

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

1998

Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation.

Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy

Proceedings of the 35th Conference on Design Automation, 1998

1993

Fault-Tolerant Arbitration in Multichip Crossbar Switches.

Joydeep Ghosh, Nari Krishnamurthy

Proceedings of the Sixth International Conference on VLSI Design, 1993