Dossis, M. 2015. “High-Level Synthesis Integrated Verification”. Engineering, Technology & Applied Science Research 5 (5). Greece:864-70. https://doi.org/10.48084/etasr.596.