@inproceedings{DBLP:conf/dac/HaoRX12,
 author = {Kecheng Hao and
Sandip Ray and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/dac/HaoRX12.bib},
 booktitle = {The 49th Annual Design Automation Conference 2012, DAC '12, San
Francisco, CA, USA, June 3-7, 2012},
 doi = {10.1145/2228360.2228423},
 editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
 pages = {344--349},
 publisher = {ACM},
 timestamp = {Sat, 23 Aug 2025 01:00:00 +0200},
 title = {Equivalence checking for behaviorally synthesized pipelines},
 url = {https://doi.org/10.1145/2228360.2228423},
 year = {2012}
}