 | 2003 |
|---|
| 7 |       | Prabhat Jain,
G. Edward Suh,
Srinivas Devadas:
Embedded intelligent SRAM.
DAC 2003: 869-874 |
| 2001 |
|---|
| 6 | | Prabhat Jain,
Srinivas Devadas,
Daniel W. Engels,
Larry Rudolph:
Software-Assisted Cache Replacement Mechanisms for Embedded Systems.
ICCAD 2001: 119-126 |
| 2000 |
|---|
| 5 | | Derek Chiou,
Prabhat Jain,
Larry Rudolph,
Srinivas Devadas:
Application-specific memory management for embedded systems using software-controlled caches.
DAC 2000: 416-419 |
| 1994 |
|---|
| 4 | | Prabhat Jain,
Ganesh Gopalakrishnan:
Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(8): 1005-1015 (1994) |
| 1993 |
|---|
| 3 |  | Prabhat Jain,
Ganesh Gopalakrishnan:
Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification.
ICCD 1993: 304-307 |
| 1992 |
|---|
| 2 | | Prabhat Jain,
Prabhakar Kudva,
Ganesh Gopalakrishnan:
Towards a Verification Technique for Large Synchronous Circuits.
CAV 1992: 109-122 |
| 1 | | Prabhat Jain,
Ganesh Gopalakrishnan:
Some Techniques for Efficient Symbolic Simulation-Based Verification.
ICCD 1992: 598-602 |
