BibTeX records: D. Mackay

• > Home > Persons > D. Mackay

@inproceedings{DBLP:conf/vts/VarmaMT10,
  author       = {D. Varma and
                  D. Mackay and
                  P. Thiruchelvam},
  title        = {Easing the verification bottleneck using high level synthesis},
  booktitle    = {28th {IEEE} {VLSI} Test Symposium, {VTS} 2010, April 19-22, 2010,
                  Santa Cruz, California, {USA}},
  pages        = {253--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/VTS.2010.5469565},
  doi          = {10.1109/VTS.2010.5469565},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/vts/VarmaMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/MartinBLMMTW81,
  author       = {G. Martin and
                  J. Berrie and
                  T. Little and
                  D. Mackay and
                  J. McVean and
                  D. Tomsett and
                  L. Weston},
  editor       = {Robert J. Smith},
  title        = {{CELTIC} - solving the problems of {LSI} design with an integrated
                  polycell {DA} system},
  booktitle    = {Proceedings of the 18th Design Automation Conference, {DAC} '81, Nashville,
                  Tennessee, USA, June 29 - July 1, 1981},
  pages        = {804--811},
  publisher    = {{ACM/IEEE}},
  year         = {1981},
  url          = {http://dl.acm.org/citation.cfm?id=802397},
  timestamp    = {Wed, 31 Mar 2021 10:47:13 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/MartinBLMMTW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}