Jimmie Terrence. Scalable Machine Learning Pipelines for Formal Verification Support in High-Level Synthesis Flows. IJITRD 2023, 4 (2), 32–37.