P.Dasgupta, P.P.Chakrabarti, A.Nandi, K.Sekar, A.Chakrabarti, "Abstraction of Word-level Linear Arithmetic Functions from Bit-level Component Descriptions," in Design, Automation, and Test in Europe, pp.4-8, Munich, March 2001.