Search results for "Guangsheng Ma"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Zhi Yang, Guangsheng Ma, Shu Zhang	Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation.	Integration	2010	DBLP DOI BibTeX RDF
1	Xiaoxiao Liu, Guangsheng Ma, Jingbo Shao, Zhi Yang, Guanjun Wang	Interconnect crosstalk noise evaluation in deep-submicron technologies.	Microelectronics Reliability	2009	DBLP DOI BibTeX RDF
1	Jingbo Shao, Guangsheng Ma, Zhi Yang, Ruixue Zhang	Test response reuse-based SoC core test compression and test scheduling for test application time minimization.	Microelectronics Journal	2008	DBLP DOI BibTeX RDF
1	Jingbo Shao, Guangsheng Ma, Zhi Yang, Ruixue Zhang	Process Algebra Based SoC Test Scheduling for Test Time Minimization.	ISVLSI	2008	DBLP DOI BibTeX RDF
1	Zhi Yang, Guangsheng Ma, Shu Zhang	A Novel Approach to High-Level Property Checking Using Wu's Method.	DELTA	2008	DBLP DOI BibTeX RDF	Wu's method, formal verification, high-level design, property checking
1	Xiuqin Wang, Guangsheng Ma, Hao Wang	A Novel Method for All Solutions SAT Problem.	SNPD	2008	DBLP DOI BibTeX RDF	All Solutions, Observability Don't Cares, Circuit Structure, Boolean Satisfiability
1	Xiuqin Wang, Hao Wang, Guangsheng Ma	Hybrid SAT Solver Considering Circuit Observability.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Zhihong Zhang, Guangsheng Ma, Zhijiang Zhao	A New Image Auto-Segmentation Algorithm Based on PCNN.	LSMS	2007	DBLP DOI BibTeX RDF
1	Xiaoxiao Liu, Guangsheng Ma, Qiang Sun	An Advanced Timing Characterization Method Considering Global False Path.	IMSCCS	2006	DBLP DOI BibTeX RDF	functional (mode) dependency, timing analysis, false path, Circuit delay
1	Guangsheng Ma, Zhongwei Zhang, Shaobin Huang	A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array.	J. Comput. Sci. Technol.	1995	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Guangsheng Ma" ( http://dblp.L3S.de/Authors/Guangsheng_Ma )