Abstraction of word-level linear arithmetic functions from bit-level component descriptions | IEEE Conference Publication | IEEE Xplore