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.

INCS: Intent-driven network-wide configuration synthesis based on deep reinforcement learning

Comparative Synthesis: Learning Near-Optimal Network Designs by Query

Deep Neural Network-Based Surrogate-Assisted Inverse Optimization for High-Speed Interconnects

COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis

Intelligent Joint Network Slicing and Routing via GCN-powered Multi-Task Deep Reinforcement Learning

Automatic guarantee scheme for intent-driven network slicing and reconfiguration

Reconfigurable Topology Synthesis for Application-Specific NoC on Partially Dynamically Reconfigurable Systems

Differentiable Programming & Network Calculus: Configuration Synthesis under Delay Constraints

AI-Generated Network Design: A Diffusion Model-based Learning Approach

Network Topology Optimization via Deep Reinforcement Learning

Assuring Efficient Path Selection in an Intent-Based Networking System: A Graph Neural Networks and Deep Reinforcement Learning Approach

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

GraCo -- A Graph Composer for Integrated Circuits

Deep Reinforcement Learning Enabled Self-Configurable Networks-on-Chip for High-Performance and Energy-Efficient Computing Systems

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

Deep Inverse Design for High-Level Synthesis

Instance-Conditioned Adaptation for Large-scale Generalization of Neural Combinatorial Optimization

DAG-aware Synthesis Orchestration

Efficient Synthesis of Compact Deep Neural Networks

SCANN: Synthesis of Compact and Accurate Neural Networks