JT

Jimmie Terrence

Mutual Connections
Loading...
S9-042025-2611552

Send Message

No file chosen
1 Publications
0 Followers
0 Following
0 Questions

👤 About

Skills & Expertise

No skills added yet.

Research Interests

No research interests added yet.

Connect With Me

📚 Publications (1)

Scalable Machine Learning Pipelines for Formal Verification Support in High-Level Synthesis Flows
Journal: International Journal of Information Technology Research and Development • November 2023
The growing complexity of hardware design calls for integrating machine learning (ML) pipelines into high-level synthesis (HLS) flows to assist formal verification (FV) processes. This research explor...
High-level synthesis Formal verification Machine learning Scalability Hardware design automation Predictive models
dd