Verification of arithmetic datapath designs using word-level approach — A case study | IEEE Conference Publication | IEEE Xplore