On the calculation reuse in hadamard-based SATD | IEEE Conference Publication | IEEE Xplore