Dossis, M. 2015. High-level Synthesis Integrated Verification. Engineering, Technology & Applied Science Research. 5, 5 (Oct. 2015), 864–870. DOI:https://doi.org/10.48084/etasr.596.