Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
Optimizing equivalence checking for behavioral synthesis
DATE, 2010.
@inproceedings{DATE-2010-HaoXRY,
author = "Kecheng Hao and Fei Xie and Sandip Ray and Jin Yang",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1500--1505",
publisher = "{IEEE}",
title = "{Optimizing equivalence checking for behavioral synthesis}",
year = 2010,
}