DBLP Record 'conf/vlsi/TosunKM03'

BibTeX

@inproceedings{DBLP:conf/vlsi/TosunKM03,
  author    = {Suleyman Tosun and
               Hakduran Koc and
               Nazanin Mansouri},
  title     = {Derving Intermediary RTLs for Verification of Pipelined
               Synthesized Designs},
  booktitle = {VLSI},
  year      = {2003},
  pages     = {382-},
  crossref  = {DBLP:conf/vlsi/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vlsi/2003,
  editor    = {Hamid R. Arabnia and
               Laurence Tianruo Yang},
  title     = {Proceedings of the International Conference on VLSI, VLSI
               '03, June 23 - 26, 2003, Las Vegas, Nevada, USA},
  booktitle = {VLSI},
  publisher = {CSREA Press},
  year      = {2003},
  isbn      = {1-932415-10-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}