Search results for "Ping Gao 0002"

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

Hits ?▲	Authors	Title	Venue	Year	Link
1	Miroslav N. Velev, Ping Gao 0002	Automated debugging of counterexamples in formal verification of pipelined microprocessors.	ASP-DAC	2012	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks.	SARA	2011	DBLP BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors.	SARA	2011	DBLP BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Automatic formal verification of reconfigurable DSPs.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits.	ISCAS	2011	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Automatic formal verification of multithreaded pipelined microprocessors.	ICCAD	2011	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors.	ICFEM	2010	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	A method for debugging of pipelined processors in formal verification by correspondence checking.	ASP-DAC	2010	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems.	ISAIM	2010	DBLP BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Efficient SAT-based techniques for Design of Experiments by using static variable ordering.	ISQED	2009	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality.	HLDVT	2009	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Efficient SAT Techniques for Relative Encoding of Permutations with Constraints.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles.	SARA	2009	DBLP BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems.	DATE	2008	DBLP DOI BibTeX RDF

Publications of "Ping Gao 0002" ( http://dblp.L3S.de/Authors/Ping_Gao_0002 )