Equivalence checking for compiler transformations in behavioral synthesis | IEEE Conference Publication | IEEE Xplore