Dossis M. High-level Synthesis Integrated Verification. Eng. Technol. Appl. Sci. Res. [Internet]. 2015 Oct. 4 [cited 2026 Jun. 10];5(5):864-70. Available from: https://www.etasr.com/index.php/ETASR/article/view/596