Vishnu C. Vimjam

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Virginia Tech, Blacksburg, VA, USA (PHD)

Education History

Virginia Tech, Blacksburg, VA, USA

PHD

Publications

Vishnu C. Vimjam, M. Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael S. Hsiao, Kai Yang
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology. VTS (2007)
Vishnu C. Vimjam, Michael S. Hsiao
Explicit Safety Property Strengthening in SAT-based Induction. VLSI Design (2007)
Vishnu C. Vimjam, Michael S. Hsiao
Fast illegal state identification for improving SAT-based induction. DAC (2006)
Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty
A Study of Implication Based Pseudo Functional Testing. ITC (2006)
Vishnu C. Vimjam, Michael S. Hsiao
Efficient Fault Collapsing via Generalized Dominance Relations. VTS (2006)
Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao
Untestable fault identification through enhanced necessary value assignments. ACM Great Lakes Symposium on VLSI (2005)
Vishnu C. Vimjam, Michael S. Hsiao
Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking. HLDVT (2005)