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