Jimmie Terrence. “Scalable Machine Learning Pipelines for Formal Verification Support in High-Level Synthesis Flows”. International Journal of Information Technology Research and Development (IJITRD), vol. 4, no. 2, Nov. 2023, pp. 32–37, https://ijitrd.com/index.php/home/article/view/IJITRD_04_02_006.