DOSSIS, M. High-level Synthesis Integrated Verification. Engineering, Technology & Applied Science Research, Greece, v. 5, n. 5, p. 864–870, 2015. DOI: 10.48084/etasr.596. Disponível em: https://etasr.com/index.php/ETASR/article/view/596. Acesso em: 18 jul. 2024.