Formal reset recovery slack calculation at the register transfer level | IEEE Conference Publication | IEEE Xplore