English
Related papers

Related papers: Automatic Datapath Optimization using E-Graphs

200 papers

Register Transfer Level (RTL) design validation is a crucial stage in the hardware design process. We present a new approach to enhancing RTL design validation using available software techniques and tools. Our approach converts the source…

Software Engineering · Computer Science 2016-02-22 Yu Zhang , Wenlong Feng , Mengxing Huang

The design automation of analog circuits is a longstanding challenge. This paper presents a reinforcement learning method enhanced by graph learning to automate the analog circuit parameter optimization at the pre-layout stage, i.e.,…

Machine Learning · Computer Science 2022-05-18 Weidong Cao , Mouhacine Benosman , Xuan Zhang , Rui Ma

Optimal transportation provides a means of lifting distances between points on a geometric domain to distances between signals over the domain, expressed as probability distributions. On a graph, transportation problems can be used to…

Optimization and Control · Mathematics 2018-03-26 Montacer Essid , Justin Solomon

Modern very large-scale integration (VLSI) design requires the implementation of integrated circuits using electronic design automation (EDA) tools. Due to the complexity of EDA algorithms, the vast parameter space poses a huge challenge to…

Machine Learning · Computer Science 2025-08-25 Jingyu Pan , Isaac Jacobson , Zheng Zhao , Tung-Chieh Chen , Guanglei Zhou , Chen-Chia Chang , Vineet Rashingkar , Yiran Chen

Logic optimization constitutes a critical phase within the Electronic Design Automation (EDA) flow, essential for achieving desired circuit power, performance, and area (PPA) targets. These logic circuits are typically represented as…

Computational Complexity · Computer Science 2025-12-16 Junfeng Liu , Qinghua Zhao , Liwei Ni , Jingren Wang , Biwei Xie , Xingquan Li , Bei Yu , Shuai Ma

Following [21, 23], the present work investigates a new relative entropy-regularized algorithm for solving the optimal transport on a graph problem within the randomized shortest paths formalism. More precisely, a unit flow is injected into…

Machine Learning · Computer Science 2021-09-21 Sylvain Courtain , Guillaume Guex , Ilkka Kivimaki , Marco Saerens

We propose an efficient framework that integrates distance-aware multi-hop message passing with dynamic topology refinement. Unlike standard GNNs that rely on shallow, fixed-hop aggregation, DRTR leverages both static preprocessing and…

Machine Learning · Computer Science 2025-12-01 Dong Liu , Yanxuan Yu

Analog and mixed-signal circuit design remains challenging due to the shortage of high-quality data and the difficulty of embedding domain knowledge into automated flows. Traditional black-box optimization achieves sampling efficiency but…

Machine Learning · Computer Science 2025-09-18 Ziming Wei , Zichen Kong , Yuan Wang , David Z. Pan , Xiyuan Tang

The exponential growth of data-intensive applications has placed unprecedented demands on modern storage systems, necessitating dynamic and efficient optimization strategies. Traditional heuristics employed for storage performance…

Operating Systems · Computer Science 2025-08-25 Chiyu Cheng , Chang Zhou , Yang Zhao

Recent advances in metric, semantic, and topological mapping have equipped autonomous robots with semantic concept grounding capabilities to interpret natural language tasks. This work aims to leverage these new capabilities with an…

Circuit representation learning has shown promise in advancing Electronic Design Automation (EDA) by capturing structural and functional circuit properties for various tasks. Existing pre-trained solutions rely on graph learning with…

Hardware Architecture · Computer Science 2025-04-15 Wenji Fang , Wenkai Li , Shang Liu , Yao Lu , Hongce Zhang , Zhiyao Xie

Graph Transformer (GT) has recently emerged as a promising neural network architecture for learning graph-structured data. However, its global attention mechanism with quadratic complexity concerning the graph scale prevents wider…

Machine Learning · Computer Science 2024-12-09 Ningyi Liao , Zihao Yu , Siqiang Luo

This paper investigates the shared-memory Graph Transposition (GT) problem, a fundamental graph algorithm that is widely used in graph analytics and scientific computing. Previous GT algorithms have significant memory requirements that are…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-14 Mohsen Koohi Esfahani , Hans Vandierendonck

Analog circuit topology synthesis is integral to Electronic Design Automation (EDA), enabling the automated creation of circuit structures tailored to specific design requirements. However, the vast design search space and strict constraint…

Computation and Language · Computer Science 2025-06-04 Prashanth Vijayaraghavan , Luyao Shi , Ehsan Degan , Vandana Mukherjee , Xin Zhang

Many complex engineering systems can be represented in a topological form, such as graphs. This paper utilizes a machine learning technique called Geometric Deep Learning (GDL) to aid designers with challenging, graph-centric design…

Computational Engineering, Finance, and Science · Computer Science 2023-08-07 Anthony Sirico , Daniel R. Herber

Transport systems on networks are crucial in various applications, but face a significant risk of being adversely affected by unforeseen circumstances such as disasters. The application of entropy-regularized optimal transport (OT) on graph…

Machine Learning · Computer Science 2025-05-07 Koshi Oishi , Yota Hashizume , Tomohiko Jimbo , Hirotaka Kaji , Kenji Kashima

Optimizing software performance through automated code refinement offers a promising avenue for enhancing execution speed and efficiency. Despite recent advancements in LLMs, a significant gap remains in their ability to perform in-depth…

Software Engineering · Computer Science 2025-01-30 Manish Acharya , Yifan Zhang , Kevin Leach , Yu Huang

Reinforcement learning (RL) has been widely applied to dynamic routing, modulation and spectrum assignment (RMSA) in optical networks, yet no prior work has trained a transformer model for this task. We attribute this to the high data and…

Networking and Internet Architecture · Computer Science 2026-05-19 Michael Doherty , Alejandra Beghelli , Laura Toni

High-level synthesis (HLS) is a process that automatically translates a software program in a high-level language into a low-level hardware description. However, the hardware designs produced by HLS tools still suffer from a significant…

Programming Languages · Computer Science 2023-08-16 Jianyi Cheng , Samuel Coward , Lorenzo Chelini , Rafael Barbalho , Theo Drane

Selecting the appropriate dimensionality reduction (DR) technique and determining its optimal hyperparameter settings that maximize the accuracy of the output projections typically involves extensive trial and error, often resulting in…

Human-Computer Interaction · Computer Science 2026-01-13 Hyeon Jeon , Jeongin Park , Soohyun Lee , Dae Hyun Kim , Sungbok Shin , Jinwook Seo