@inproceedings{DBLP:conf/date/HaoXRY10,
 author = {Kecheng Hao and
Fei Xie and
Sandip Ray and
Jin Yang},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/date/HaoXRY10.bib},
 booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany,
March 8-12, 2010},
 doi = {10.1109/DATE.2010.5457049},
 editor = {Giovanni De Micheli and
Bashir M. Al-Hashimi and
Wolfgang Müller and
Enrico Macii},
 pages = {1500--1505},
 publisher = {IEEE Computer Society},
 timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
 title = {Optimizing equivalence checking for behavioral synthesis},
 url = {https://doi.org/10.1109/DATE.2010.5457049},
 year = {2010}
}