English
Related papers

Related papers: SmaRTLy: RTL Optimization with Logic Inferencing a…

200 papers

Optimizing Register Transfer Level (RTL) code is crucial for improving the power, performance, and area (PPA) of digital circuits in the early stages of synthesis. Manual rewriting, guided by synthesis feedback, can yield high-quality…

Hardware Architecture · Computer Science 2025-09-23 Yiting Wang , Wanghao Ye , Ping Guo , Yexiao He , Ziyao Wang , Bowei Tian , Shwai He , Guoheng Sun , Zheyu Shen , Sihan Chen , Ankur Srivastava , Qingfu Zhang , Gang Qu , Ang Li

Speculative decoding improves LLM inference by generating and verifying multiple tokens in parallel, but existing systems suffer from suboptimal performance due to a mismatch between dynamic speculation and static runtime assumptions. We…

Machine Learning · Computer Science 2026-01-01 Yue Guan , Changming Yu , Shihan Fang , Weiming Hu , Zaifeng Pan , Zheng Wang , Zihan Liu , Yangjie Zhou , Yufei Ding , Minyi Guo , Jingwen Leng

Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often…

Hardware Architecture · Computer Science 2024-09-19 Xufeng Yao , Yiwen Wang , Xing Li , Yingzhao Lian , Ran Chen , Lei Chen , Mingxuan Yuan , Hong Xu , Bei Yu

A threshold logic gate (TLG) performs weighted sum of multiple inputs and compares the sum with a threshold. We propose Spin-Memeristor Threshold Logic (SMTL) gates, which employ memristive cross-bar array (MCA) to perform current-mode…

Emerging Technologies · Computer Science 2014-11-11 Deliang Fan , Mrigank Sharad , Kaushik Roy

While compositional accounts of human language understanding are based on a hierarchical tree-like process, neural models like transformers lack a direct inductive bias for such tree structures. Introducing syntactic inductive biases could…

Computation and Language · Computer Science 2025-03-25 Ananjan Nandi , Christopher D. Manning , Shikhar Murty

Register Transfer Level(RTL) code optimization is crucial for achieving high performance and low power consumption in digital circuit design. However, traditional optimization methods often rely on manual tuning and heuristics, which can be…

Software Engineering · Computer Science 2025-07-23 Zhihao Xu , Bixin Li , Lulu Wang

Modern hardware compilers increasingly rely on rich intermediate representations (IRs) to preserve optimization-relevant semantics before generating RTL code. However, one important optimization is still largely deferred to backend tools:…

Hardware Architecture · Computer Science 2026-05-05 Shuo Yin , Fangzhou Liu , Lancheng Zou , Rongliang Fu , Wenqian Zhao , Chen Bai , Tsung-Yi Ho , Yuan Xie , Bei Yu

We propose dynamic resistive threshold-logic (DRTL) design based on non-volatile resistive memory. A threshold logic gate (TLG) performs summation of multiple inputs multiplied by a fixed set of weights and compares the sum with a…

Emerging Technologies · Computer Science 2013-08-22 Mrigank Sharad , Deliang Fan , Kaushik Roy

Manual optimization of Register Transfer Level (RTL) datapath is commonplace in industry but holds back development as it can be very time consuming. We utilize the fact that a complex transformation of one RTL into another equivalent RTL…

Hardware Architecture · Computer Science 2022-07-27 Samuel Coward , George A. Constantinides , Theo Drane

The rapid progress of artificial intelligence increasingly relies on efficient integrated circuit (IC) design. Recent studies have explored the use of large language models (LLMs) for generating Register Transfer Level (RTL) code, but…

Artificial Intelligence · Computer Science 2026-01-06 Yao Lu , Shang Liu , Hangan Zhou , Wenji Fang , Qijun Zhang , Zhiyao Xie

We propose magnetic threshold-logic (MTL) design based on non-volatile spin-torque switches. A threshold logic gate (TLG) performs summation of multiple inputs multiplied by a fixed set of weights and compares the sum with a threshold. MTL…

Emerging Technologies · Computer Science 2013-08-21 Mrigank Sharad , Deliang Fan , Kaushik Roy

Existing approaches typically rely on large-scale fine-tuning to adapt LLMs for information reranking tasks, which is computationally expensive. In this work, we demonstrate that modern LLMs can be effectively adapted using only minimal,…

Computation and Language · Computer Science 2025-10-28 Tingyu Song , Yilun Zhao , Siyue Zhang , Chen Zhao , Arman Cohan

Electronic Design Automation (EDA) is essential for IC design and has recently benefited from AI-based techniques to improve efficiency. Logic synthesis, a key EDA stage, transforms high-level hardware descriptions into optimized netlists.…

Machine Learning · Computer Science 2024-11-04 Faezeh Faez , Raika Karimi , Yingxue Zhang , Xing Li , Lei Chen , Mingxuan Yuan , Mahdi Biparva

In modern VLSI design flow, the register-transfer level (RTL) stage is a critical point, where designers define precise design behavior with hardware description languages (HDLs) like Verilog. Since the RTL design is in the format of HDL…

Hardware Architecture · Computer Science 2023-11-16 Wenji Fang , Yao Lu , Shang Liu , Qijun Zhang , Ceyu Xu , Lisa Wu Wills , Hongce Zhang , Zhiyao Xie

Logic synthesis is one of the most important steps in design and implementation of digital chips with a big impact on final Quality of Results (QoR). For a most general input circuit modeled by a Directed Acyclic Graph (DAG), many logic…

Artificial Intelligence · Computer Science 2023-02-14 Ghasem Pasandi , Sreedhar Pratty , James Forsyth

Large language models (LLMs) provide powerful foundations to perform fine-grained text re-ranking. However, they are often prohibitive in reality due to constraints on computation bandwidth. In this work, we propose a \textbf{flexible}…

Computation and Language · Computer Science 2025-01-28 Zheng Liu , Chaofan Li , Shitao Xiao , Chaozhuo Li , Defu Lian , Yingxia Shao

Multi-die FPGAs enable device scaling beyond reticle limits but introduce severe interconnect overhead across die boundaries. Inter-die connections, commonly referred to as super-long lines (SLLs), incur high delay and consume scarce…

Hardware Architecture · Computer Science 2026-03-16 Xiaoke Wang , Raveena Raikar , Markus Rein , Ruiqi Chen , Chang Meng , Dirk Stroobandt

Retrieval-augmented systems are typically evaluated in settings where information required to answer the query can be found within a single source or the answer is short-form or factoid-based. However, many real-world applications demand…

Computation and Language · Computer Science 2025-08-29 Rohan Phanse , Yijie Zhou , Kejian Shi , Wencai Zhang , Yixin Liu , Yilun Zhao , Arman Cohan

Register-Transfer Level (RTL) synthesis and summarization are central to hardware design automation but remain challenging for Large Language Models (LLMs) due to rigid HDL syntax, limited supervision, and weak alignment with natural…

Computation and Language · Computer Science 2026-03-19 Prashanth Vijayaraghavan , Apoorva Nitsure , Luyao Shi , Charles Mackin , Ashutosh Jadhav , David Beymer , Ehsan Degan , Vandana Mukherjee

Many medical datasets have recently been created for medical image segmentation tasks, and it is natural to question whether we can use them to sequentially train a single model that (1) performs better on all these datasets, and (2)…

Computer Vision and Pattern Recognition · Computer Science 2022-08-02 Chenyu You , Jinlin Xiang , Kun Su , Xiaoran Zhang , Siyuan Dong , John Onofrey , Lawrence Staib , James S. Duncan
‹ Prev 1 2 3 10 Next ›