Equivalence checking for function pipelining in behavioral synthesis | IEEE Conference Publication | IEEE Xplore