Dossis, M. (2015) “High-level Synthesis Integrated Verification”, Engineering, Technology & Applied Science Research. Greece, 5(5), pp. 864–870. doi: 10.48084/etasr.596.