DBLP Record 'journals/tvlsi/LingappanJ07'

BibTeX

@article{DBLP:journals/tvlsi/LingappanJ07,
  author    = {Loganathan Lingappan and
               Niraj K. Jha},
  title     = {Satisfiability-Based Automatic Test Program Generation and
               Design for Testability for Microprocessors},
  journal   = {IEEE Trans. VLSI Syst.},
  volume    = {15},
  number    = {5},
  year      = {2007},
  pages     = {518-530},
  ee        = {http://dx.doi.org/10.1109/TVLSI.2007.896908},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}