Search results for "Mukul R. Prasad"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan	Client-tier Validation of Dynamic Web Applications.	ICSOFT	2011	DBLP BibTeX RDF
1	Ali Mesbah, Mukul R. Prasad	Automated cross-browser compatibility testing.	ICSE	2011	DBLP DOI BibTeX RDF
1	Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara	WEAVE: WEb Applications Validation Environment.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Indradeep Ghosh, Mukul R. Prasad	A Technique for Estimating the Difficulty of a Formal Verification Problem.	ISQED	2006	DBLP DOI BibTeX RDF
1	Mukul R. Prasad, Armin Biere, Aarti Gupta	A survey of recent advances in SAT-based formal verification.	STTT	2005	DBLP DOI BibTeX RDF	Model checking, Verification, ATPG, SAT, QBF
1	Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle	Dynamic abstraction using SAT-based BMC.	DAC	2005	DBLP DOI BibTeX RDF	model checking, SAT, abstraction refinement
1	Liang Zhang, Mukul R. Prasad, Michael S. Hsiao	Interleaved Invariant Checking with Dynamic Abstraction.	CHARME	2005	DBLP DOI BibTeX RDF
1	Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle	Error Detection Using BMC in a Parallel Environment.	CHARME	2005	DBLP DOI BibTeX RDF
1	Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita	High Level Design Validation: Current Practices and Future Directions. (PDF / PS)	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain	Can SAT be used to Improve Sequential ATPG Methods?	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Liang Zhang, Mukul R. Prasad, Michael S. Hsiao	Incremental deductive & inductive reasoning for SAT-based bounded model checking.	ICCAD	2004	DBLP DOI BibTeX RDF
1	Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain	Solving the latch mapping problem in an industrial setting.	DAC	2003	DBLP DOI BibTeX RDF	latch mapping, combinational equivalence checking
1	Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton	Using Problem Symmetry in Search Based Satisfiability Algorithms.	DATE	2002	DBLP DOI BibTeX RDF
1	Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain	Improving Sequential ATPG Using SAT Methods.	IWLS	2002	DBLP BibTeX RDF
1	Mukul R. Prasad, Philip Chong, Kurt Keutzer	Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?	J. Electronic Testing	2001	DBLP DOI BibTeX RDF	combinational ATPG, SAT, backtracking, complexity analysis, VLSI circuits
1	Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton	Using SAT for combinational equivalence checking.	DATE	2001	DBLP DOI BibTeX RDF
1	Mukul R. Prasad, Philip Chong, Kurt Keutzer	Why is ATPG Easy?	DAC	1999	DBLP DOI BibTeX RDF
1	C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora	Estimation of Power from Module-level Netlists.	VLSI Design	1996	DBLP DOI BibTeX RDF

Publications of "Mukul R. Prasad" ( http://dblp.L3S.de/Authors/Mukul_R._Prasad )