Nari Krishnamurthy

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

2 Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy: Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation. DAC 1998: 534-537

1993

1 Joydeep Ghosh, Nari Krishnamurthy: Fault-Tolerant Arbitration in Multichip Crossbar Switches. VLSI Design 1993: 351-356

	1998
2		Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy: Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation. DAC 1998: 534-537
	1993
1		Joydeep Ghosh, Nari Krishnamurthy: Fault-Tolerant Arbitration in Multichip Crossbar Switches. VLSI Design 1993: 351-356

Coauthor Index

1 Magdy S. Abadir [2]

2 Joydeep Ghosh [1]

3 Li-C. Wang [2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page