A methodology for timely verification of a complex SoC | IEEE Conference Publication | IEEE Xplore