| |
| 2006 | ||
|---|---|---|
| 5 | EE | Qingwei Wu, Michael S. Hsiao: A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal. IEEE Trans. Computers 55(11): 1325-1334 (2006) |
| 4 | EE | Qingwei Wu, Michael S. Hsiao: State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 2275-2282 (2006) |
| 2004 | ||
| 3 | EE | Qingwei Wu, Michael S. Hsiao: State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation. ITC 2004: 820-829 |
| 2 | EE | Qingwei Wu, Michael S. Hsiao: Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories. VTS 2004: 389-405 |
| 2003 | ||
| 1 | EE | Qingwei Wu, Michael S. Hsiao: Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal. ITC 2003: 281-289 |
| 1 | Michael S. Hsiao | [1] [2] [3] [4] [5] |