 | 2010 |
|---|
| 7 |       | 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) |
| 2008 |
|---|
| 6 | | Zhi Yang,
Guangsheng Ma,
Shu Zhang:
A Novel Approach to High-Level Property Checking Using Wu's Method.
DELTA 2008: 576-580 |
| 5 | | Xiuqin Wang,
Hao Wang,
Guangsheng Ma:
Hybrid SAT Solver Considering Circuit Observability.
ICYCS 2008: 65-70 |
| 4 | | Jingbo Shao,
Guangsheng Ma,
Zhi Yang,
Ruixue Zhang:
Process Algebra Based SoC Test Scheduling for Test Time Minimization.
ISVLSI 2008: 134-138 |
| 3 | | Xiuqin Wang,
Guangsheng Ma,
Hao Wang:
A Novel Method for All Solutions SAT Problem.
SNPD 2008: 41-45 |
| 2007 |
|---|
| 2 | | Zhihong Zhang,
Guangsheng Ma,
Zhijiang Zhao:
A New Image Auto-Segmentation Algorithm Based on PCNN.
LSMS (1) 2007: 152-161 |
| 2006 |
|---|
| 1 | | Xiaoxiao Liu,
Guangsheng Ma,
Qiang Sun:
An Advanced Timing Characterization Method Considering Global False Path.
IMSCCS (2) 2006: 776-779 |
