Verification of massive advanced node SoCs. - DaeSeo Cha; HyunWoo Koh; NamPhil Jo; Jay B. Kim; Byeong Min; Karthik Kothandapani; Riccardo Oddone; Adam D. Sherer (ISOCC, 2012)