Nannan He, Michael S. Hsiao
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification
DATE, 2009.
@inproceedings{DATE-2009-HeH,
author = "Nannan He and Michael S. Hsiao",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1602--1607",
publisher = "{IEEE}",
title = "{An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification}",
year = 2009,
}