Dossis, M. “High-Level Synthesis Integrated Verification”. Engineering, Technology & Applied Science Research 5, no. 5 (October 4, 2015): 864–870. Accessed July 18, 2024. https://etasr.com/index.php/ETASR/article/view/596.