Untestable fault identification through enhanced necessary value assignments. - Vishnu C. Vimjam; Manan Syal; Michael S. Hsiao (ACM Great Lakes Symposium on VLSI, 2005)

Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking. - Vishnu C. Vimjam; Michael S. Hsiao (HLDVT, 2005)

Fast illegal state identification for improving SAT-based induction. - Vishnu C. Vimjam; Michael S. Hsiao (DAC, 2006)

A Study of Implication Based Pseudo Functional Testing. - Manan Syal; Kameshwar Chandrasekar; Vishnu C. Vimjam; Michael S. Hsiao; Yi-Shing Chang; Sreejit Chakravarty (ITC, 2006)

Efficient Fault Collapsing via Generalized Dominance Relations. - Vishnu C. Vimjam; Michael S. Hsiao (VTS, 2006)

Explicit Safety Property Strengthening in SAT-based Induction. - Vishnu C. Vimjam; Michael S. Hsiao (VLSI Design, 2007)

Using Scan-Dump Values to Improve Functional-Diagnosis Methodology. - Vishnu C. Vimjam; M. Enamul Amyeen; Ruifeng Guo; Srikanth Venkataraman; Michael S. Hsiao; Kai Yang (VTS, 2007)

Strategies for SAT-Based Formal Verification. - Vishnu C. Vimjam (2007)