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.