Transformations on the FSMD of the RTL code with combinational logic statements for equivalence checking of HLS | IEEE Conference Publication | IEEE Xplore