Automatic word-level abstraction of datapath | IEEE Conference Publication | IEEE Xplore