 | 2007 |
|---|
| 5 |       | Vishnu C. Vimjam,
Michael S. Hsiao:
Explicit Safety Property Strengthening in SAT-based Induction.
VLSI Design 2007: 63-68 |
| 4 | | Vishnu C. Vimjam,
Enamul Amyeen,
Ruifeng Guo,
Srikanth Venkataraman,
Michael S. Hsiao,
Kai Yang:
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology.
VTS 2007: 231-238 |
| 2006 |
|---|
| 3 | | Vishnu C. Vimjam,
Michael S. Hsiao:
Fast illegal state identification for improving SAT-based induction.
DAC 2006: 241-246 |
| 2 | | Vishnu C. Vimjam,
Michael S. Hsiao:
Efficient Fault Collapsing via Generalized Dominance Relations.
VTS 2006: 258-265 |
| 2005 |
|---|
| 1 | | Vishnu C. Vimjam,
Manan Syal,
Michael S. Hsiao:
Untestable fault identification through enhanced necessary value assignments.
ACM Great Lakes Symposium on VLSI 2005: 176-181 |
