Methodology and code reuse in the verification of telecommunication SOCs | IEEE Conference Publication | IEEE Xplore