Specification and verification of SOC using PTL | IEEE Conference Publication | IEEE Xplore