A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs | IEEE Conference Publication | IEEE Xplore