Pallab Dasgupta P. P. Chakrabarti Amit Nandi Sekar Krishna Arindam Chakrabarti Abstraction of word-level linear arithmetic functions from bit-level component descriptions. 4-8 2001 DATE http://doi.acm.org/10.1145/367072.367075 db/conf/date/date2001.html#DasguptaCNKC01