Vishnu C. Vimjam

According to our database, Vishnu C. Vimjam authored at least 8 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Strategies for SAT-Based Formal Verification.

Vishnu C. Vimjam

PhD thesis, 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

Proceedings of the 25th IEEE VLSI Test Symposium (VTS 2007), 2007

Explicit Safety Property Strengthening in SAT-based Induction.

Vishnu C. Vimjam, Michael S. Hsiao

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

2006

Efficient Fault Collapsing via Generalized Dominance Relations.

Vishnu C. Vimjam, Michael S. Hsiao

Proceedings of the 24th IEEE VLSI Test Symposium (VTS 2006), 30 April, 2006

A Study of Implication Based Pseudo Functional Testing.

Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty

Proceedings of the 2006 IEEE International Test Conference, 2006

Fast illegal state identification for improving SAT-based induction.

Vishnu C. Vimjam, Michael S. Hsiao

Proceedings of the 43rd Design Automation Conference, 2006

2005

Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking.

Vishnu C. Vimjam, Michael S. Hsiao

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Untestable fault identification through enhanced necessary value assignments.

Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005