Prabhat Jain (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

3 Prabhat Jain, Ganesh Gopalakrishnan: Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD 1993: 304-307

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

Selection of 4 from 7 records - Prabhat Jain has 7 coauthors

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)
3		Prabhat Jain, Ganesh Gopalakrishnan: Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD 1993: 304-307
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