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.

LInK: Learning Joint Representations of Design and Performance Spaces through Contrastive Learning for Mechanism Synthesis

High-Speed Link Design Optimization Using Machine Learning SVR-AS Method

Topology optimization of linkage mechanisms using spring-connected link model

Joint Search of Optimal Topology and Trajectory for Planar Linkages

Performance Comparison of Design Optimization and Deep Learning-based Inverse Design

Deep generative model-based synthesis framework of four-bar linkage mechanisms with target conditions

Accelerating Optimization Design of Bio-inspired Interlocking Structures with Machine Learning

Deep Learning Conceptual Design of Sit-to-Stand Parallel Motion Six-Bar Mechanisms

Deep Generative Model-based Synthesis of Four-bar Linkage Mechanisms with Target Conditions

Bidirectional Learning for Offline Infinite-width Model-based Optimization

Mechanism Design Optimization through CAD-Based Bayesian Optimization and Quantified Constraints

Design Framework for Motion Generation of Planar Four-Bar Linkage Considering Clearance Joints and Dynamics Performance

Learning to Design and Use Tools for Robotic Manipulation

Deep Learning Meets Mechanism Design: Key Results and Some Novel Applications

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

Towards a Unified Theoretical Understanding of Non-contrastive Learning via Rank Differential Mechanism

LLM-Enhanced Bayesian Optimization for Efficient Analog Layout Constraint Generation

Two-Stage Surrogate Modeling for Data-Driven Design Optimization with Application to Composite Microstructure Generation

A Design Approach for Flexible-Link Parallel Mechanisms Using Kinematic Equivalence Between Rigid and Elastic Chains

Compliant Mechanism Synthesis Using Nonlinear Elastic Topology Optimization with Variable Boundary Conditions