English
Related papers

Related papers: DB4HLS: A Database of High-Level Synthesis Design …

200 papers

Advances in hybrid bonding and packaging have driven growing interest in 3D DRAM-stacked accelerators with higher memory bandwidth and capacity. As LLMs scale to hundreds of billions or trillions of parameters, distributed inference across…

Automating the design of heuristic search methods is an active research field within computer science, artificial intelligence and operational research. In order to make these methods more generally applicable, it is important to eliminate…

Artificial Intelligence · Computer Science 2011-07-28 Edmund Burke , Tim Curtois , Matthew Hyde , Gabriela Ochoa , Jose A. Vazquez-Rodriguez

This paper presents LLM4SecHW, a novel framework for hardware debugging that leverages domain specific Large Language Model (LLM). Despite the success of LLMs in automating various software development tasks, their application in the…

Hardware Architecture · Computer Science 2024-01-31 Weimin Fu , Kaichen Yang , Raj Gautam Dutta , Xiaolong Guo , Gang Qu

The increasing reliance on Large Language Models (LLMs) across diverse sectors highlights the need for robust domain-specific and language-specific evaluation datasets; however, the collection of such datasets is challenging due to privacy…

Artificial Intelligence · Computer Science 2026-04-28 Alessio Sordo , Lingxiao Du , Meeka-Hanna Lenisa , Evgeny Bogdanov , Maxim Romanovsky

Deep supervised hashing is essential for efficient storage and search in large-scale image retrieval. Traditional deep supervised hashing models generate single-length hash codes, but this creates a trade-off between efficiency and…

Computer Vision and Pattern Recognition · Computer Science 2025-06-02 Liyang He , Yuren Zhang , Rui Li , Zhenya Huang , Runze Wu , Enhong Chen

Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented with Binary Decision Diagrams (BDDs), inheriting their…

Logic in Computer Science · Computer Science 2013-11-15 Roderick Bloem , Robert Koenighofer , Martina Seidl

With the ever-growing popularity of Graph Neural Networks (GNNs), efficient GNN inference is gaining tremendous attention. Field-Programming Gate Arrays (FPGAs) are a promising execution platform due to their fine-grained parallelism,…

Machine Learning · Computer Science 2023-09-29 Chenfeng Zhao , Zehao Dong , Yixin Chen , Xuan Zhang , Roger D. Chamberlain

Spatial computing architectures pose an attractive alternative to mitigate control and data movement overheads typical of load-store architectures. In practice, these devices are rarely considered in the HPC community due to the steep…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-23 Tiziano De Matteis , Johannes de Fine Licht , Torsten Hoefler

Exploiting the recent advancements in artificial intelligence, showcased by ChatGPT and DALL-E, in real-world applications necessitates vast, domain-specific, and publicly accessible datasets. Unfortunately, the scarcity of such datasets…

Machine Learning · Computer Science 2023-05-17 Cyril Picard , Jürg Schiffmann , Faez Ahmed

Hybrid Solid-State Drives (SSDs), which integrate several types of flash cells (e.g., single-level cell (SLC) and multiple-level cell (MLC)) in a single drive and enable them to convert between each other, are designed to deliver both high…

Hardware Architecture · Computer Science 2025-03-18 Qian Wei , Yi Li , Zehao Chen , Zhaoyan Shen , Dongxiao Yu , Bingzhe Li

Large Language Models (LLMs) have become widely used across diverse NLP tasks and domains, demonstrating their adaptability and effectiveness. In the realm of Electronic Design Automation (EDA), LLMs show promise for tasks like…

DNA-based storage offers unprecedented density and durability, but its scalability is fundamentally limited by the efficiency of parallel strand synthesis. Existing methods either allow unconstrained nucleotide additions to individual…

Information Theory · Computer Science 2025-10-27 Boaz Moav , Ryan Gabrys , Eitan Yaakobi

Dataflow hardware designs enable efficient FPGA implementations via high-level synthesis (HLS), but correctly sizing first-in-first-out (FIFO) channel buffers remains challenging. FIFO sizes are user-defined and balance latency and…

Hardware Architecture · Computer Science 2025-10-27 Stefan Abi-Karam , Rishov Sarkar , Suhail Basalama , Jason Cong , Callie Hao

System Level Synthesis (SLS) allows us to construct internally stabilizing controllers for large-scale systems. However, solving large-scale SLS problems is computationally expensive and the state-of-the-art methods consider only state…

Optimization and Control · Mathematics 2022-06-07 Lauren Conger , Shih-Hao Tseng

Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately,…

Programming Languages · Computer Science 2024-11-04 Shraddha Barke , Emmanuel Anaya Gonzalez , Saketh Ram Kasibatla , Taylor Berg-Kirkpatrick , Nadia Polikarpova

High-level synthesis (HLS) notably speeds up the hardware design process by avoiding RTL programming. However, the turnaround time of HLS increases significantly when post-route quality of results (QoR) are considered during optimization.…

Hardware Architecture · Computer Science 2024-01-18 Mingzhe Gao , Jieru Zhao , Zhe Lin , Minyi Guo

Biological and advanced cyberphysical control systems often have limited, sparse, uncertain, and distributed communication and computing in addition to sensing and actuation. Fortunately, the corresponding plants and performance…

Systems and Control · Electrical Eng. & Systems 2019-07-08 Yuh-Shyang Wang , Nikolai Matni , John C. Doyle

Continuous technology scaling and the introduction of advanced technology nodes in Integrated Circuit (IC) fabrication is constantly exposing new manufacturability issues. One such issue, stemming from complex interaction between design and…

Machine Learning · Computer Science 2020-07-14 Gaurav Rajavendra Reddy , Constantinos Xanthopoulos , Yiorgos Makris

Recent Large Language Models (LLMs) such as OpenAI o3-mini and DeepSeek-R1 use enhanced reasoning through Chain-of-Thought (CoT). Their potential in hardware design, which relies on expert-driven iterative optimization, remains unexplored.…

Artificial Intelligence · Computer Science 2025-04-15 Luca Collini , Andrew Hennessee , Ramesh Karri , Siddharth Garg

Machine learning (ML) has been widely used to improve the predictability of EDA tools. The use of CAD tools that express designs at higher levels of abstraction makes machine learning even more important to highlight the performance of…

Hardware Architecture · Computer Science 2022-08-01 Pingakshya Goswami , Dinesh Bhatia