AliSVAD05'

BibTeX

@inproceedings{DBLP:conf/mtv/AliSVAD05,
  author    = {Moayad Fahim Ali and
               Sean Safarpour and
               Andreas G. Veneris and
               Magdy S. Abadir and
               Rolf Drechsler},
  title     = {Post-Verification Debugging of Hierarchical Designs},
  booktitle = {MTV},
  year      = {2005},
  pages     = {42-47},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MTV.2005.18},
  crossref  = {DBLP:conf/mtv/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mtv/2005,
  editor    = {Magdy S. Abadir and
               Li-C. Wang},
  title     = {Sixth International Workshop on Microprocessor Test and
               Verification (MTV 2005), Common Challenges and Solutions,
               3-4 November 2005, Austin, Texas, USA},
  booktitle = {MTV},
  publisher = {IEEE Computer Society},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}