 | 2010 |
|---|
| 10 |       | Zhi Yang,
Guangsheng Ma,
Shu Zhang:
Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation.
Integration 43(1): 101-112 (2010) |
| 2009 |
|---|
| 9 | | Xiaoxiao Liu,
Guangsheng Ma,
Jingbo Shao,
Zhi Yang,
Guanjun Wang:
Interconnect crosstalk noise evaluation in deep-submicron technologies.
Microelectronics Reliability 49(2): 170-177 (2009) |
| 2008 |
|---|
| 8 | | Zhi Yang,
Guangsheng Ma,
Shu Zhang:
A Novel Approach to High-Level Property Checking Using Wu's Method.
DELTA 2008: 576-580 |
| 7 | | Xiuqin Wang,
Hao Wang,
Guangsheng Ma:
Hybrid SAT Solver Considering Circuit Observability.
ICYCS 2008: 65-70 |
| 6 | | Jingbo Shao,
Guangsheng Ma,
Zhi Yang,
Ruixue Zhang:
Process Algebra Based SoC Test Scheduling for Test Time Minimization.
ISVLSI 2008: 134-138 |
| 5 | | Xiuqin Wang,
Guangsheng Ma,
Hao Wang:
A Novel Method for All Solutions SAT Problem.
SNPD 2008: 41-45 |
| 4 | | 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 39(12): 1704-1709 (2008) |
| 2007 |
|---|
| 3 | | Zhihong Zhang,
Guangsheng Ma,
Zhijiang Zhao:
A New Image Auto-Segmentation Algorithm Based on PCNN.
LSMS (1) 2007: 152-161 |
| 2006 |
|---|
| 2 | | Xiaoxiao Liu,
Guangsheng Ma,
Qiang Sun:
An Advanced Timing Characterization Method Considering Global False Path.
IMSCCS (2) 2006: 776-779 |
| 1995 |
|---|
| 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. 10(6): 569-573 (1995) |
Data released under the ODC-BY 1.0 license — See also our legal information page