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