Towards a Verification Technique for Large Synchronous Circuits. - Prabhat Jain; Prabhakar Kudva; Ganesh Gopalakrishnan (CAV, 1992)

Some Techniques for Efficient Symbolic Simulation-Based Verification. - Prabhat Jain; Ganesh Gopalakrishnan (ICCD, 1992)

Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. - Prabhat Jain; Ganesh Gopalakrishnan (ICCD, 1993)

Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. - Prabhat Jain; Ganesh Gopalakrishnan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Application-specific memory management for embedded systems using software-controlled caches. - Derek Chiou; Prabhat Jain; Larry Rudolph; Srinivas Devadas (DAC, 2000)

Software-Assisted Cache Replacement Mechanisms for Embedded Systems. - Prabhat Jain; Srinivas Devadas; Daniel W. Engels; Larry Rudolph (ICCAD, 2001)

Embedded intelligent SRAM. - Prabhat Jain; G. Edward Suh; Srinivas Devadas (DAC, 2003)

Software-assisted cache mechanisms for embedded systems. - Prabhat Jain (2008)

Reconstructing Hardware Transactional Memory for Workload Optimized Systems. - Kunal Korgaonkar; Prabhat Jain; Deepak Tomar; Kashyap Garimella; Veezhinathan Kamakoti (APPT, 2011)

Refrint: Intelligent refresh to minimize power in on-chip multiprocessor cache hierarchies. - Aditya Agrawal; Prabhat Jain; Amin Ansari; Josep Torrellas (HPCA, 2013)