Synchronous equivalence for embedded systems: a tool for design exploration | IEEE Conference Publication | IEEE Xplore