Kecheng Hao, Sandip Ray, Fei Xie
Equivalence checking for function pipelining in behavioral synthesis
DATE, 2014.
@inproceedings{DATE-2014-HaoRX,
author = "Kecheng Hao and Sandip Ray and Fei Xie",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.163",
pages = "1--6",
publisher = "{IEEE}",
title = "{Equivalence checking for function pipelining in behavioral synthesis}",
year = 2014,
}