| |
| 2006 | ||
|---|---|---|
| 6 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique. ICCD 2006 |
| 2005 | ||
| 5 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: Forward image computation with backtracing ATPG and incremental state-set construction. ACM Great Lakes Symposium on VLSI 2005: 254-259 |
| 4 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation. DATE 2005: 1002-1007 |
| 3 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: State Set Management for SAT-based Unbounded Model Checking. ICCD 2005: 585-590 |
| 2 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. VLSI Design 2005: 189-194 |
| 2004 | ||
| 1 | EE | Kameshwar Chandrasekar, Michael S. Hsiao: Decision Selection and Learning for an All-Solutions ATPG Engine. ITC 2004: 607-616 |
| 1 | Michael S. Hsiao | [1] [2] [3] [4] [5] [6] |