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