TY  - RPRT
TI  - Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
AU  - Disha Puri
AU  - Sandip Ray
AU  - Kecheng Hao
AU  - Fei Xie
PY  - 2014
DO  - 10.4204/eptcs.152.10
UR  - https://arxiv.org/abs/1406.1562
ID  - 1406.1562
ER  -