Robin Sharp;Ole Rasmussen
-;-
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems
IEEE Transactions on Computers