Jimmie Terrence. Scalable Machine Learning Pipelines for Formal Verification Support in High-Level Synthesis Flows. IJITRD. 2023;4(2):32–37. Accessed June 25, 2025. https://ijitrd.com/index.php/home/article/view/IJITRD_04_02_006