Verification of communication based SoC using advanced verification methodology | IEEE Conference Publication | IEEE Xplore