Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis | IEEE Conference Publication | IEEE Xplore