Abstraction of word-level linear arithmetic functions from bit-level component descriptions.

Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti

Browse the full DATE paper archive.