| 1999 |
|---|
| 9 | | Rahul Razdan,
Apurva Kalia,
Manu Lauria:
Verification of Systems-on-Chip Designs.
VLSI Design 1999: 609 |
| 1997 |
|---|
| 8 | | Gabriel P. Bischoff,
Karl S. Brace,
Samir Jain,
Rahul Razdan:
Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.
ICCD 1997: 16-24 |
| 1994 |
|---|
| 7 | | Rahul Razdan,
Karl S. Brace,
Michael D. Smith:
PRISC Software Acceleration Techniques.
ICCD 1994: 145-149 |
| 6 | EE | Rahul Razdan,
Michael D. Smith:
A high-performance microarchitecture with hardware-programmable functional units.
MICRO 1994: 172-180 |
| 1993 |
|---|
| 5 | EE | Rahul Razdan,
Gabriel P. Bischoff,
Ernst G. Ulrich:
Clock suppression techniques for synchronous circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(10): 1547-1556 (1993) |
| 1991 |
|---|
| 4 | | Joel Grodstein,
Nick Rethman,
Rahul Razdan,
Gabriel P. Bischoff:
Automatic Detection of MOS Synchronizers for Timing Verification.
ICCAD 1991: 304-307 |
| 1990 |
|---|
| 3 | | Rahul Razdan,
Gabriel P. Bischoff,
Ernst G. Ulrich:
Exploitation of Periodicity in Logic Simulation of Synchronous Circuits.
ICCAD 1990: 62-65 |
| 1989 |
|---|
| 2 | | Rahul Razdan,
M. Anwaruddin,
Predrag G. Kovijanic,
R. Ganesh,
H-C. Shih:
An Interactive Sequential Test Pattern Generation System.
ITC 1989: 38-46 |
| 1986 |
|---|
| 1 | EE | Rahul Razdan,
Andrzej J. Strojwas:
A Statistical Design Rule Developer.
IEEE Trans. on CAD of Integrated Circuits and Systems 5(4): 508-520 (1986) |
