Dossis, M. “High-Level Synthesis Integrated Verification”. Engineering, Technology & Applied Science Research, vol. 5, no. 5, Oct. 2015, pp. 864-70, doi:10.48084/etasr.596.