@inproceedings{DBLP:journals/corr/PuriRHX14,
 author = {Disha Puri and
Sandip Ray and
Kecheng Hao and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/corr/PuriRHX14.bib},
 booktitle = {Proceedings Twelfth International Workshop on the ACL2 Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
 doi = {10.4204/EPTCS.152.10},
 editor = {Freek Verbeek and
Julien Schmaltz},
 pages = {111--128},
 series = {EPTCS},
 timestamp = {Sat, 23 Aug 2025 01:00:00 +0200},
 title = {Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis},
 url = {https://doi.org/10.4204/EPTCS.152.10},
 volume = {152},
 year = {2014}
}