Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal. Validating SPARK: High Level Synthesis Compiler. In 2015 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2015, Montpellier, France, July 8-10, 2015. pages 195-198, IEEE Computer Society, 2015. [doi]
Abstract is missing.