Constraint analysis and debugging for multi-million instance SoC designs. - Long Fei; Loa Mize; Cho Moon; Bill Mullen; Sonia Singhal (ISQED, 2010)