Abstract:Despite the great success of high-level synthesis (HLS) tools, we observe several unresolved challenges: 1) the high-level abstraction of HLS programming styles sometimes conceals optimization opportunities; 2) the actual quality of resulting RTL designs is hard to predict; and 3) existing HLS tools do not provide flexible tradeoff (Pareto) solutions among different objectives and constraints. To this end, we propose an end-to-end framework, namely, IronMan-Pro. The primary goal is to enable a flexible and automated design space exploration (DSE), to provide either optimized solutions under user-specified constraints or Pareto tradeoffs among different objectives (such as resource types, area, and latency). IronMan-Pro consists of three components: 1) GPP, a highly accurate graph-neural-network-based performance and resource predictor; 2) RLMD, a reinforcement-learning-based multiobjective design exploration engine for optimal resource allocation strategies, aiming to provide Pareto solutions among different objectives; and 3) CT, a code transformer to assist RLMD and GPP, which extracts the data flow graphs from original HLS C/C++ and automatically generates synthesizable code with optimized HLS directives. Experimental results show that, 1) GPP achieves high prediction accuracy, reducing the prediction errors of HLS tools by in resource utilization and in critical path (CP) timing; 2) compared with meta-heuristic-based techniques, IronMan-Pro generates superior solutions improving resource utilization by and CP timing by 7.6%–16.5%; and - ) under user-specified constraints, IronMan-Pro can find satisfying solutions over 96% of the cases, more than twice as many as that of meta-heuristic-based techniques and with a speedup of up to . This work demonstrates the great potential of applying machine learning algorithms in the electronic design automation domain, especially for the hard-to-solve problems, such as timing estimation and optimization. IronMan-Pro is available at https://github.com/lydiawunan/IronMan.

AI-assisted Synthesis in Next Generation EDA: Promises, Challenges, and Prospects.

The Shift-Left Design Paradigm of EDA: Progress and Challenges

A Survey for Electronic Design Automation Based on Graph Neural Network

GoodFloorplan: Graph Convolutional Network and Reinforcement Learning-Based Floorplanning

The Dawn of AI-Native EDA: Opportunities and Challenges of Large Circuit Models

AiEDA: Agentic AI Design Framework for Digital ASIC System Design

A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications

A Survey of Graph Neural Networks for Electronic Design Automation

AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation

Large circuit models: opportunities and challenges

Analog/Mixed-Signal Circuit Synthesis Enabled by the Advancements of Circuit Architectures and Machine Learning Algorithms

IronMan: GNN-assisted Design Space Exploration in High-Level Synthesis Via Reinforcement Learning.

Survey on FPGA Electronic Design Automation Technology Based on Machine Learning

LLM-aided explanations of EDA synthesis errors

IronMan-Pro: Multiobjective Design Space Exploration in HLS via Reinforcement Learning and Graph Neural Network-Based Modeling

Automating Analogue AI Chip Design with Genetic Search

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Speeding-up Logic Design and Refining Hardware EDA Flow by Exploring Chinese Character based Graphical Representation

LLM-Aided Efficient Hardware Design Automation

AI for EDA/Physical Design: Driving the AI Revolution: The Crucial Role of 3D-IC