English
Related papers

Related papers: VeriOpt: PPA-Aware High-Quality Verilog Generation…

200 papers

Register-Transfer Level (RTL) coding is an iterative, repository-scale process in which Power, Performance, and Area (PPA) emerge from interactions across many files and the downstream toolchain. While large language models (LLMs) have…

Hardware Architecture · Computer Science 2026-03-11 Zhengyuan Shi , Jingxin Wang , Tairan Cheng , Changran Xu , Weikang Qian , Qiang Xu

Debugging functional Verilog bugs consumes a significant portion of front-end design time. While Large Language Models (LLMs) have demonstrated great potential in mitigating this effort, existing LLM-based automated debugging methods…

Software Engineering · Computer Science 2025-08-25 Bingkun Yao , Ning Wang , Xiangfeng Liu , Yuxin Du , Yuchen Hu , Hong Gao , Zhe Jiang , Nan Guan

The gap between abstraction levels in analog design is a major obstacle for advancing analog and mixed-signal (AMS) design automation and computer-aided design (CAD). Intelligent models for low-level analog building blocks are needed to…

Signal Processing · Electrical Eng. & Systems 2019-07-03 Saraju P. Mohanty , Elias Kougianos

Applying large language models (LLMs) to RTL code optimization for improved power, performance, and area (PPA) faces two key challenges: ensuring functional correctness of optimized designs despite LLM hallucination, and systematically…

Hardware Architecture · Computer Science 2026-03-23 Heng Ping , Peiyu Zhang , Zhenkun Wang , Shixuan Li , Anzhe Cheng , Wei Yang , Paul Bogdan , Shahin Nazarian

Recently, the use of large language models (LLMs) for Verilog code generation has attracted great research interest to enable hardware design automation. However, previous works have shown a gap between the ability of LLMs and the practical…

Programming Languages · Computer Science 2025-01-10 Yiyao Yang , Fu Teng , Pengju Liu , Mengnan Qi , Chenyang Lv , Ji Li , Xuhong Zhang , Zhezhi He

Portability of hardware designs between Programmable Logic Devices (PLD) can be accomplished through the use of device-agnostic hardware description languages (HDL) such as Verilog or VHDL. Hardware designers can use HDLs to migrate…

Hardware Architecture · Computer Science 2021-11-11 Nicholas V. Giamblanco , Andrew Schmidt

SystemVerilog Assertions (SVAs) are critical for verifying the correctness of hardware designs, but manually writing them from natural language property descriptions, i.e., NL2SVA, remains a labor-intensive and error-prone task. Recent…

Computation and Language · Computer Science 2025-06-30 Weihua Xiao , Derek Ekberg , Siddharth Garg , Ramesh Karri

We present the Comprehensive Verilog Design Problems (CVDP) benchmark, a new dataset and infrastructure to advance LLM and agent research in hardware design and verification. CVDP includes 783 problems across 13 task categories, covering…

Machine Learning · Computer Science 2025-06-18 Nathaniel Pinckney , Chenhui Deng , Chia-Tung Ho , Yun-Da Tsai , Mingjie Liu , Wenfei Zhou , Brucek Khailany , Haoxing Ren

Large Language Models (LLMs) have shown promising progress for generating Register Transfer Level (RTL) hardware designs, largely because they can rapidly propose alternative architectural realizations. However, single-shot LLM generation…

Hardware Architecture · Computer Science 2026-04-20 Shiva Ahir , Prajna Bhat , Alex Doboli

SystemVerilog Assertions (SVA) are essential for formal verification of digital hardware, yet their manual creation demands significant expertise in both the design under verification and temporal logic. Recent studies have explored using…

Cryptography and Security · Computer Science 2026-04-28 Nowfel Mashnoor , Hadi Kamali , Kimia Azar

As program workloads (e.g., AI) increase in size and algorithmic complexity, the primary challenge lies in their high dimensionality, encompassing computing cores, array sizes, and memory hierarchies. To overcome these obstacles, innovative…

Hardware Architecture · Computer Science 2025-10-10 Jinwei Tang , Jiayin Qin , Nuo Xu , Pragnya Sudershan Nalla , Yu Cao , Yang , Zhao , Caiwen Ding

Vision-language models (VLMs) have demonstrated exceptional generalization capabilities for downstream tasks. Due to its efficiency, prompt learning has gradually become a more effective and efficient method for transferring VLMs to…

Computer Vision and Pattern Recognition · Computer Science 2026-05-12 Chenhao Ding , Xinyuan Gao , Songlin Dong , Jizhou Han , Qiang Wang , Zhengdong Zhou , Yuhang He , Yihong Gong

Effective prompt engineering is critical to realizing the promised productivity gains of large language models (LLMs) in knowledge-intensive tasks. Yet, many users struggle to craft prompts that yield high-quality outputs, limiting the…

Human-Computer Interaction · Computer Science 2025-10-02 Niklas Gutheil , Valentin Mayer , Leopold Müller , Jörg Rommelt , Niklas Kühl

This comprehensive review delves into the pivotal role of prompt engineering in unleashing the capabilities of Large Language Models (LLMs). The development of Artificial Intelligence (AI), from its inception in the 1950s to the emergence…

Computation and Language · Computer Science 2025-06-18 Banghao Chen , Zhaofeng Zhang , Nicolas Langrené , Shengxin Zhu

Electronic circuit behavioral models built with hardware description/modeling languages such as Verilog-AMS for system-level simulations are typically functional models. They do not capture the physical design (layout) information of the…

Hardware Architecture · Computer Science 2019-05-31 Saraju P. Mohanty , Elias Kougianos

Existing large language models (LLMs) for register transfer level code generation face challenges like compilation failures and suboptimal power, performance, and area (PPA) efficiency. This is due to the lack of PPA awareness in…

Large language models (LLMs) hold promise for automating integrated circuit (IC) engineering using register transfer level (RTL) hardware description languages (HDLs) like Verilog. However, challenges remain in ensuring the quality of…

Hardware Architecture · Computer Science 2025-11-18 Zhiteng Chao , Yonghao Wang , Xinyu Zhang , Jiaxin Zhou , Tenghui Hua , Husheng Han , Tianmeng Yang , Jianan Mu , Bei Yu , Rui Zhang , Jing Ye , Huawei Li

Establishing fair and robust benchmarks is essential for evaluating intelligent code generation by large language models (LLMs). Our survey of 35 existing benchmarks uncovers three major imbalances: 85.7% focus on a single programming…

Software Engineering · Computer Science 2025-10-01 Shuai Wang , Liang Ding , Li Shen , Yong Luo , Han Hu , Lefei Zhang , Fu Lin

The demand for efficient large language model (LLM) inference has propelled the development of dedicated accelerators. As accelerators are vulnerable to hardware faults due to aging, variation, etc, existing accelerator designs often…

Hardware Architecture · Computer Science 2025-04-08 Tong Xie , Jiawang Zhao , Zishen Wan , Zuodong Zhang , Yuan Wang , Runsheng Wang , Ru Huang , Meng Li

A critical stage in the evolving landscape of VLSI design is the design phase that is transformed into register-transfer level (RTL), which specifies system functionality through hardware description languages like Verilog. Generally,…

Artificial Intelligence · Computer Science 2025-02-25 Anindita Chattopadhyay , Vijay Kumar Sutrakar
‹ Prev 1 3 4 5 6 7 10 Next ›