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]
Abstract is missing.