Mukul R. Prasad

	2009
16		Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara: WEAVE: WEb Applications Validation Environment. ICSE Companion 2009: 101-111
	2006
15		Indradeep Ghosh, Mukul R. Prasad: A Technique for Estimating the Difficulty of a Formal Verification Problem. ISQED 2006: 63-70
	2005
14		Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle: Error Detection Using BMC in a Parallel Environment. CHARME 2005: 354-358
13		Liang Zhang, Mukul R. Prasad, Michael S. Hsiao: Interleaved Invariant Checking with Dynamic Abstraction. CHARME 2005: 81-96
12		Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle: Dynamic abstraction using SAT-based BMC. DAC 2005: 754-757
11		Mukul R. Prasad, Armin Biere, Aarti Gupta: A survey of recent advances in SAT-based formal verification. STTT 7(2): 156-173 (2005)
	2004
10		Liang Zhang, Mukul R. Prasad, Michael S. Hsiao: Incremental deductive & inductive reasoning for SAT-based bounded model checking. ICCAD 2004: 502-509
9		Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain: Can SAT be used to Improve Sequential ATPG Methods? VLSI Design 2004: 585-
8		Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita: High Level Design Validation: Current Practices and Future Directions. VLSI Design 2004: 9-11
	2003
7		Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain: Solving the latch mapping problem in an industrial setting. DAC 2003: 442-447
	2002
6		Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton: Using Problem Symmetry in Search Based Satisfiability Algorithms. DATE 2002: 134-141
5		Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain: Improving Sequential ATPG Using SAT Methods. IWLS 2002: 79-84
	2001
4		Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton: Using SAT for combinational equivalence checking. DATE 2001: 114-121
3		Mukul R. Prasad, Philip Chong, Kurt Keutzer: Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits? J. Electronic Testing 17(6): 509-527 (2001)
	1999
2		Mukul R. Prasad, Philip Chong, Kurt Keutzer: Why is ATPG Easy? DAC 1999: 22-28
	1996
1		C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora: Estimation of Power from Module-level Netlists. VLSI Design 1996: 324-325

Coauthor Index

1	Armin Biere	[11]
2	Robert K. Brayton	[4] [6]
3	Philip Chong	[2] [3]
4	Masahiro Fujita	[8]
5	Indradeep Ghosh	[8] [15] [16]
6	Nitin Goel	[16]
7	Eugene Goldberg (Evguenii I. Goldberg)	[4] [6]
8	Aarti Gupta	[11]
9	Lavmeet S. Hora	[1]
10	Michael S. Hsiao	[5] [9] [10] [12] [13]
11	Subramanian K. Iyer	[14]
12	Jawahar Jain	[5] [7] [9] [14]
13	Kurt Keutzer	[2] [3]
14	Rajarshi Mukherjee	[7] [8]
15	Kelvin Ng	[7]
16	Sreeranga P. Rajan	[16]
17	C. P. Ravikumar	[1]
18	Debashis Sahoo	[14]
19	Thomas Sidle	[12] [14]
20	Oksana Tkachuk	[16]
21	Tadahiro Uehara	[16]
22	Liang Zhang	[10] [12] [13]

Colors in the list of coauthors