| |
| 1998 | ||
|---|---|---|
| 2 | EE | 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 | |
| 1 | Magdy S. Abadir | [2] |
| 2 | Joydeep Ghosh | [1] |
| 3 | Li-C. Wang | [2] |