Verification of massive advanced node SoCs | IEEE Conference Publication | IEEE Xplore