中文
相关论文

相关论文: A Deep Learning Framework for Verilog Autocompleti…

200 篇论文

This report distills the discussions and recommendations from the NSF Workshop on AI for Electronic Design Automation (EDA), held on December 10, 2024 in Vancouver alongside NeurIPS 2024. Bringing together experts across machine learning…

Automation engineering is the task of integrating, via software, various sensors, actuators, and controls for automating a real-world process. Today, automation engineering is supported by a suite of software tools including integrated…

软件工程 · 计算机科学 2020-07-08 Arquimedes Canedo , Palash Goyal , Di Huang , Amit Pandey , Gustavo Quiros

Researchers have been highly active to investigate the classical machine learning workflow and integrate best practices from the software engineering lifecycle. However, deep learning exhibits deviations that are not yet covered in this…

软件工程 · 计算机科学 2022-08-30 Janosch Baltensperger , Pasquale Salza , Harald C. Gall

Despite the growing interest in ML-guided EDA tools from RTL to GDSII, there are no standard datasets or prototypical learning tasks defined for the EDA problem domain. Experience from the computer vision community suggests that such…

机器学习 · 计算机科学 2023-10-17 Animesh Basak Chowdhury , Shailja Thakur , Hammond Pearce , Ramesh Karri , Siddharth Garg

Large Language Models (LLMs) have recently shown promise in streamlining hardware design processes by encapsulating vast amounts of domain-specific data. In addition, they allow users to interact with the design processes through natural…

机器学习 · 计算机科学 2024-07-04 Yongan Zhang , Zhongzhi Yu , Yonggan Fu , Cheng Wan , Yingyan Celine Lin

Deep learning technologies have demonstrated remarkable effectiveness in a wide range of tasks, and deep learning holds the potential to advance a multitude of applications, including in edge computing, where deep models are deployed on…

机器学习 · 计算机科学 2022-08-24 Dalin Zhang , Kaixuan Chen , Yan Zhao , Bin Yang , Lina Yao , Christian S. Jensen

Variable-length feedback coding has the potential to significantly enhance communication reliability in finite block length scenarios by adapting coding strategies based on real-time receiver feedback. Designing such codes, however, is…

信息论 · 计算机科学 2024-11-14 Wenwei Lai , Yulin Shao , Yu Ding , Deniz Gunduz

As large language models (LLMs) continue to be integrated into modern technology, there has been an increased push towards code generation applications, which also naturally extends to hardware design automation. LLM-based solutions for…

The large number of recent JEDEC DRAM standard releases and their increasing feature set makes it difficult for designers to rapidly upgrade the memory controller IPs to each new standard. Especially the hardware verification is challenging…

形式语言与自动机理论 · 计算机科学 2022-10-03 Lukas Steiner , Chirag Sudarshan , Matthias Jung , Dominik Stoffel , Norbert Wehn

The remarkable progress of Large Language Models (LLMs) presents promising opportunities for Verilog code generation which is significantly important for automated circuit design. The lacking of meaningful functional rewards hinders the…

As hardware systems grow in complexity, security verification must keep up with them. Recently, artificial intelligence (AI) and large language models (LLMs) have started to play an important role in automating several stages of the…

密码学与安全 · 计算机科学 2026-04-03 Khan Thamid Hasan , Md Ajoad Hasan , Nashmin Alam , Md. Touhidul Islam , Upoma Das , Farimah Farahmandi

DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular paradigm and semantics, DeepLog serves as a universal…

Many recent works on Entity Resolution (ER) leverage Deep Learning techniques involving language models to improve effectiveness. This is applied to both main steps of ER, i.e., blocking and matching. Several pre-trained embeddings have…

数据库 · 计算机科学 2023-04-26 Alexandros Zeakis , George Papadakis , Dimitrios Skoutas , Manolis Koubarakis

Writing tests is a time-consuming yet essential task during software development. We propose to leverage recent advances in deep learning for text and code generation to assist developers in writing tests. We formalize the novel task of…

软件工程 · 计算机科学 2023-03-08 Pengyu Nie , Rahul Banerjee , Junyi Jessy Li , Raymond J. Mooney , Milos Gligoric

Recent advances have demonstrated the promising capabilities of large language models (LLMs) in generating register-transfer level (RTL) code, such as Verilog. However, existing LLM-based frameworks still face significant challenges in…

In recent years, the use of deep learning in language models gained much attention. Some research projects claim that they can generate text that can be interpreted as human-writing, enabling new possibilities in many application areas.…

计算与语言 · 计算机科学 2021-01-13 Juan Cruz-Benito , Sanjay Vishwakarma , Francisco Martin-Fernandez , Ismael Faro

Deep learning-based semiconductor defect inspection has gained traction in recent years, offering a powerful and versatile approach that provides high accuracy, adaptability, and efficiency in detecting and classifying nano-scale defects.…

计算机视觉与模式识别 · 计算机科学 2024-07-18 Amit Prasad , Bappaditya Dey , Victor Blanco , Sandip Halder

As hardware design complexity escalates, there is an urgent need for advanced automation in electronic design automation (EDA). Traditional register transfer level (RTL) design methods are manual, time-consuming, and prone to errors. While…

编程语言 · 计算机科学 2025-05-21 Mohammad Akyash , Kimia Azar , Hadi Kamali

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…

硬件体系结构 · 计算机科学 2024-01-19 Giuseppe Stracquadanio , Sourav Medya , Stefano Quer , Debjit Pal

The chip design process involves numerous steps, beginning with defining product requirements and progressing through architectural planning, system-level design, and the physical layout of individual circuit blocks. As the enablers of…

硬件体系结构 · 计算机科学 2025-09-19 Xinyue Wu , Zixuan Li , Fan Hu , Ting Lin , Xiaotian Zhao , Runxi Wang , Xinfei Guo