Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems | IEEE Journals & Magazine | IEEE Xplore