Correct-by-construction layout-centric retargeting of large analog designs

Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, C.-J. Richard Shi. Correct-by-construction layout-centric retargeting of large analog designs. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 139-144, ACM, 2004. [doi]

@inproceedings{BhattacharyaJHS04,
  title = {Correct-by-construction layout-centric retargeting of large analog designs},
  author = {Sambuddha Bhattacharya and Nuttorn Jangkrajarng and Roy Hartono and C.-J. Richard Shi},
  year = {2004},
  doi = {10.1145/996566.996609},
  url = {http://doi.acm.org/10.1145/996566.996609},
  tags = {layout, C++},
  researchr = {https://researchr.org/publication/BhattacharyaJHS04},
  cites = {0},
  citedby = {0},
  pages = {139-144},
  booktitle = {Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004},
  editor = {Sharad Malik and Limor Fix and Andrew B. Kahng},
  publisher = {ACM},
  isbn = {1-58113-828-8},
}