ZhangHG03'

BibTeX

@inproceedings{DBLP:conf/ats/ZhangHG03,
  author    = {Liang Zhang and
               Michael S. Hsiao and
               Indradeep Ghosh},
  title     = {Automatic Design Validation Framework for HDL Descriptions
               via RTL ATPG},
  booktitle = {Asian Test Symposium},
  year      = {2003},
  pages     = {148-153},
  ee        = {http://csdl.computer.org/comp/proceedings/ats/2003/1951/00/19510148abs.htm},
  crossref  = {DBLP:conf/ats/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ats/2003,
  title     = {12th Asian Test Symposium (ATS 2003), 17-19 November 2003,
               Xian, China},
  booktitle = {Asian Test Symposium},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1951-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}