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

• Authors:

• P. Dasgupta;P. Chakrabarti;A. Nandi;S. Krishna;A. Chakrabarti

• Affiliations:

• Department of Computer Science & Engineering, Indian Institute of Technology, Kharagpur, India 721302;Department of Computer Science & Engineering, Indian Institute of Technology, Kharagpur, India 721302;-;-;-

• Venue:
• Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2001