Florian Faissole, George A. Constantinides, David Thomas. Formalizing Loop-Carried Dependencies in Coq for High-Level Synthesis. In 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019, San Diego, CA, USA, April 28 - May 1, 2019. pages 315, IEEE, 2019. [doi]
Abstract is missing.