Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti
Abstraction of word-level linear arithmetic functions from bit-level component descriptions
DATE, 2001.
@inproceedings{DATE-2001-DasguptaCNKC,
author = "Pallab Dasgupta and P. P. Chakrabarti and Amit Nandi and Sekar Krishna and Arindam Chakrabarti",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367075",
isbn = "0-7695-0993-2",
pages = "4--8",
publisher = "{ACM}",
title = "{Abstraction of word-level linear arithmetic functions from bit-level component descriptions}",
year = 2001,
}