English
Related papers

Related papers: VeriLocc: End-to-End Cross-Architecture Register A…

200 papers

Recent progress in large language models (LLMs) has improved code generation, but most evaluations still test isolated, small-scale code (e.g., a single function) under default or unspecified software environments. As a result, it is…

Software Engineering · Computer Science 2026-01-21 Tongtong Wu , Rongyi Chen , Wenjie Du , Suyu Ma , Guilin Qi , Zhenchang Xing , Shahram Khadivi , Ramesh Periyathambi , Gholamreza Haffari

Predicting the performance of large-scale distributed machine learning (ML) workloads across multiple accelerator architectures remains a central challenge in ML system design. Existing GPU and TPU focused simulators are typically…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-15 Jonas Svedas , Nathan Laubeuf , Ryan Harvey , Arjun Singh , Changhai Man , Abubakr Nada , Tushar Krishna , James Myers , Debjyoti Bhattacharjee

The development of large-scale foundation models, particularly Large Language Models (LLMs), is constrained by significant computational and memory bottlenecks. These challenges elevate throughput optimization from a mere engineering task…

Machine Learning · Computer Science 2026-03-31 Mayank Jha

In this work, we design and implement VQ-LLM, an efficient fused Vector Quantization (VQ) kernel generation framework. We first introduce a software abstraction called codebook cache to optimize codebook access efficiency and support the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-01 Zihan Liu , Xinhao Luo , Junxian Guo , Wentao Ni , Yangjie Zhou , Yue Guan , Cong Guo , Weihao Cui , Yu Feng , Minyi Guo , Yuhao Zhu , Minjia Zhang , Jingwen Leng , Chen Jin

Rapid advances in language models (LMs) have created new opportunities for automated code generation while complicating trade-offs between model characteristics and prompt design choices. In this work, we provide an empirical map of recent…

Hardware Architecture · Computer Science 2026-04-14 Luca Collini , Andrew Hennesee , Patrick Yubeaton , Siddharth Garg , Ramesh Karri

Pipelining between data loading and computation is a critical tensor program optimization for GPUs. In order to unleash the high performance of latest GPUs, we must perform a synergetic optimization of multi-stage pipelining across the…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-09 Guyue Huang , Yang Bai , Liu Liu , Yuke Wang , Bei Yu , Yufei Ding , Yuan Xie

Recent advances in large language models have demonstrated their potential for automated generation of hardware description language (HDL) code from high-level prompts. Researchers have utilized fine-tuning to enhance the ability of these…

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

Large language models (LLMs) are increasingly used to solve complex tasks where they must retrieve and compose many pieces of in-context information in long reasoning chains. For many real-world tasks it is hard to accurately gauge how…

Computation and Language · Computer Science 2026-04-29 Jackson Petty , Michael Y. Hu , Wentao Wang , Shauli Ravfogel , William Merrill , Tal Linzen

Despite the significant progress made in code generation with large language models, challenges persist, especially with hardware description languages such as Verilog. This paper first presents an analysis of fine-tuned LLMs on Verilog…

Hardware Architecture · Computer Science 2025-02-10 Mingjie Liu , Yun-Da Tsai , Wenfei Zhou , Haoxing Ren

Large Language Models (LLMs) show promise for generating Register-Transfer Level (RTL) code from natural language specifications, but single-shot generation achieves only 60-65% functional correctness on standard benchmarks. Multi-agent…

Hardware Architecture · Computer Science 2026-04-23 Cagri Eryilmaz

This report presents some early results on code generation targeting tensor cores on NVIDIA GPUs using the MLIR compiler infrastructure. The state-of-the-art in high-performance deep learning today is primarily driven by manually optimized…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-31 Navdeep Katel , Vivek Khandelwal , Uday Bondhugula

Hardware design automation faces challenges in generating high-quality Verilog code efficiently. This paper introduces VFlow, an automated framework that optimizes agentic workflows for Verilog code generation. Unlike traditional approaches…

Hardware Architecture · Computer Science 2025-07-15 Yangbo Wei , Zhen Huang , Huang Li , Wei W. Xing , Ting-Jung Lin , Lei He

We present a security framework that strengthens distributed machine learning by standardizing integrity protections across CPU and GPU platforms and significantly reducing verification overheads. Our approach co-locates integrity…

Cryptography and Security · Computer Science 2025-10-29 Marcin Spoczynski , Marcela S. Melara

Solving arithmetic tasks is a simple and fundamental skill, yet modern Large Language Models (LLMs) have great difficulty with them. We introduce the Integrated Gated Calculator (IGC), a module that enables LLMs to perform arithmetic by…

Machine Learning · Computer Science 2025-01-03 Florian Dietz , Dietrich Klakow

Recent years have witnessed growing interest in adopting large language models (LLMs) for Register Transfer Level (RTL) code optimization. While powerful cloud-based LLMs offer superior optimization capabilities, they pose unacceptable…

Cryptography and Security · Computer Science 2025-08-11 Jing Wang , Zheng Li , Lei Li , Fan He , Liyu Lin , Yao Lai , Yan Li , Xiaoyang Zeng , Yufeng Guo

In the rapidly evolving field of Electronic Design Automation (EDA), the deployment of Large Language Models (LLMs) for Register-Transfer Level (RTL) design has emerged as a promising direction. However, silicon-grade correctness remains…

Hardware Architecture · Computer Science 2026-01-28 Jiale Liu , Taiyu Zhou , Tianqi Jiang

GCC and LLVM underpin much of modern software infrastructure, relying on distinct Intermediate Representations (IRs) to drive optimizations and code generation. However, the semantic and structural differences between these IRs create…

Programming Languages · Computer Science 2026-05-12 Andrea Valenzuela Ramirez , Cristian Gutierrez-Gomez , Marta Barroso , Dario Garcia-Gasulla , Sara Royuela

In recent years, there has been an exponential growth in the size and complexity of System-on-Chip designs targeting different specialized applications. The cost of an undetected bug in these systems is much higher than in traditional…

Hardware Architecture · Computer Science 2024-01-19 Giuseppe Stracquadanio , Sourav Medya , Stefano Quer , Debjit Pal

With Large Language Models (LLMs) recently demonstrating impressive proficiency in code generation, it is promising to extend their abilities to Hardware Description Language (HDL). However, LLMs tend to generate single HDL code blocks…

Machine Learning · Computer Science 2025-10-10 Jinwei Tang , Jiayin Qin , Kiran Thorat , Chen Zhu-Tian , Yu Cao , Yang , Zhao , Caiwen Ding