Fault-Tolerant Arbitration in Multichip Crossbar Switches. - Joydeep Ghosh; Nari Krishnamurthy (VLSI Design, 1993)

Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation. - Li-C. Wang; Magdy S. Abadir; Nari Krishnamurthy (DAC, 1998)