Long Fei, Loa Mize, Cho Moon, Bill Mullen, Sonia Singhal. Constraint analysis and debugging for multi-million instance SoC designs. In 11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA. pages 422-427, IEEE, 2010. [doi]
Abstract is missing.