dblp.uni-trier.dewww.uni-trier.de

Vishnu C. Vimjam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEVishnu C. Vimjam, Michael S. Hsiao: Explicit Safety Property Strengthening in SAT-based Induction. VLSI Design 2007: 63-68
4EEVishnu 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
3EEVishnu C. Vimjam, Michael S. Hsiao: Fast illegal state identification for improving SAT-based induction. DAC 2006: 241-246
2EEVishnu C. Vimjam, Michael S. Hsiao: Efficient Fault Collapsing via Generalized Dominance Relations. VTS 2006: 258-265
2005
1EEVishnu C. Vimjam, Manan Syal, Michael S. Hsiao: Untestable fault identification through enhanced necessary value assignments. ACM Great Lakes Symposium on VLSI 2005: 176-181

Coauthor Index

1Enamul Amyeen [4]
2Ruifeng Guo [4]
3Michael S. Hsiao [1] [2] [3] [4] [5]
4Manan Syal [1]
5Srikanth Venkataraman [4]
6Kai Yang [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)