BibTeX records: Vishnu C. Vimjam

• > Home > Persons > Vishnu C. Vimjam

@phdthesis{DBLP:phd/basesearch/Vimjam07,
  author       = {Vishnu C. Vimjam},
  title        = {Strategies for SAT-Based Formal Verification},
  school       = {Virginia Tech, Blacksburg, VA, {USA}},
  year         = {2007},
  url          = {https://hdl.handle.net/10919/26078},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Vimjam07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vlsid/VimjamH07,
  author       = {Vishnu C. Vimjam and
                  Michael S. Hsiao},
  title        = {Explicit Safety Property Strengthening in SAT-based Induction},
  booktitle    = {20th International Conference on {VLSI} Design {(VLSI} Design 2007),
                  Sixth International Conference on Embedded Systems {(ICES} 2007),
                  6-10 January 2007, Bangalore, India},
  pages        = {63--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/VLSID.2007.80},
  doi          = {10.1109/VLSID.2007.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/VimjamH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vts/VimjamAGVHY07,
  author       = {Vishnu C. Vimjam and
                  M. Enamul Amyeen and
                  Ruifeng Guo and
                  Srikanth Venkataraman and
                  Michael S. Hsiao and
                  Kai Yang},
  title        = {Using Scan-Dump Values to Improve Functional-Diagnosis Methodology},
  booktitle    = {25th {IEEE} {VLSI} Test Symposium {(VTS} 2007), 6-10 May 2007, Berkeley,
                  California, {USA}},
  pages        = {231--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/VTS.2007.88},
  doi          = {10.1109/VTS.2007.88},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vts/VimjamAGVHY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/VimjamH06,
  author       = {Vishnu C. Vimjam and
                  Michael S. Hsiao},
  editor       = {Ellen Sentovich},
  title        = {Fast illegal state identification for improving SAT-based induction},
  booktitle    = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
                  San Francisco, CA, USA, July 24-28, 2006},
  pages        = {241--246},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146909.1146972},
  doi          = {10.1145/1146909.1146972},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/VimjamH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itc/SyalCVHCC06,
  author       = {Manan Syal and
                  Kameshwar Chandrasekar and
                  Vishnu C. Vimjam and
                  Michael S. Hsiao and
                  Yi{-}Shing Chang and
                  Sreejit Chakravarty},
  editor       = {Scott Davidson and
                  Anne Gattiker},
  title        = {A Study of Implication Based Pseudo Functional Testing},
  booktitle    = {2006 {IEEE} International Test Conference, {ITC} 2006, Santa Clara,
                  CA, USA, October 22-27, 2006},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TEST.2006.297667},
  doi          = {10.1109/TEST.2006.297667},
  timestamp    = {Tue, 12 Dec 2023 09:46:27 +0100},
  biburl       = {https://dblp.org/rec/conf/itc/SyalCVHCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vts/VimjamH06,
  author       = {Vishnu C. Vimjam and
                  Michael S. Hsiao},
  title        = {Efficient Fault Collapsing via Generalized Dominance Relations},
  booktitle    = {24th {IEEE} {VLSI} Test Symposium {(VTS} 2006), 30 April - 4 May 2006,
                  Berkeley, California, {USA}},
  pages        = {258--265},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/VTS.2006.31},
  doi          = {10.1109/VTS.2006.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vts/VimjamH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/glvlsi/VimjamSH05,
  author       = {Vishnu C. Vimjam and
                  Manan Syal and
                  Michael S. Hsiao},
  editor       = {John C. Lach and
                  Gang Qu and
                  Yehea I. Ismail},
  title        = {Untestable fault identification through enhanced necessary value assignments},
  booktitle    = {Proceedings of the 15th {ACM} Great Lakes Symposium on {VLSI} 2005,
                  Chicago, Illinois, USA, April 17-19, 2005},
  pages        = {176--181},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1057661.1057705},
  doi          = {10.1145/1057661.1057705},
  timestamp    = {Wed, 15 Dec 2021 17:59:57 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/VimjamSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/VimjamH05,
  author       = {Vishnu C. Vimjam and
                  Michael S. Hsiao},
  title        = {Increasing the deducibility in {CNF} instances for efficient SAT-based
                  bounded model checking},
  booktitle    = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  pages        = {184--191},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HLDVT.2005.1568835},
  doi          = {10.1109/HLDVT.2005.1568835},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/VimjamH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}