| |
| 1999 | ||
|---|---|---|
| 2 | EE | Srivatsan Srinivasan, Lizy Kurian John: On the Use of Pseudorandom Sequences for High Speed Resource Allocators in Superscalar Processors. ICCD 1999: 124-130 |
| 1 | EE | Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John: Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. VLSI Design 1999: 288-293 |
| 1 | Adnan Aziz | [1] |
| 2 | Parminder Singh Chhabra | [1] |
| 3 | Praveen Kumar Jaini | [1] |
| 4 | Lizy Kurian John (Lizy K. John) | [1] [2] |