Prashant Saxena, Noel Menezes, Pasquale Cocchini, Desmond Kirkpatrick. The scaling challenge: can correct-by-construction design help?. In Massoud Pedram, Charles J. Alpert, editors, Proceedings of the 2003 International Symposium on Physical Design, ISPD 2003, Monterey, CA, USA, April 6-9, 2003. pages 51-58, ACM, 2003. [doi]
Abstract is missing.