English
Related papers

Related papers: A Logic Simplification Approach for Very Large Sca…

200 papers

Chip design relies heavily on generating Boolean circuits, such as AND-Inverter Graphs (AIGs), from functional descriptions like truth tables. This generation operation is a key process in logic synthesis, a primary chip design stage. While…

Machine Learning · Computer Science 2024-10-03 Dimitrios Tsaras , Antoine Grosnit , Lei Chen , Zhiyao Xie , Haitham Bou-Ammar , Mingxuan Yuan

We present a new high-level synthesis methodology for using large language model tools to generate hardware designs. The methodology uses exclusively open-source tools excluding the large language model. As a case study, we use our…

Hardware Architecture · Computer Science 2024-11-26 James T. Meech

Controllable speech synthesis aims to control the style of generated speech using reference input, which can be of various modalities. Existing face-based methods struggle with robustness and generalization due to data quality constraints,…

Sound · Computer Science 2025-06-27 Rui Niu , Weihao Wu , Jie Chen , Long Ma , Zhiyong Wu

In technology mapping, the quality of the final implementation heavily relies on the circuit structure after technology-independent optimization. Recent studies have introduced equality saturation as a novel optimization approach. However,…

Hardware Architecture · Computer Science 2025-04-22 Chen Chen , Guangyu HU , Cunxi Yu , Yuzhe Ma , Hongce Zhang

The globalization of the electronics supply chain requires effective methods to thwart reverse engineering and IP theft. Logic locking is a promising solution, but there are many open concerns. First, even when applied at a higher level of…

Hardware Architecture · Computer Science 2022-06-08 Christian Pilato , Luca Collini , Luca Cassano , Donatella Sciuto , Siddharth Garg , Ramesh Karri

Crosstalk between qubits fundamentally limits the scalability of quantum processors, necessitating physics-based models that can handle the complexity of large qubit arrays. Here, we develop a comprehensive theoretical and experimental…

This paper proposes a new model for Cluster-tools with two load locks. Cluster-tools are widely used to automate single wafer processing in semiconductor industry. The load locks are the entry points into the vacuum of the Cluster-tool's…

Data Structures and Algorithms · Computer Science 2016-05-04 Martin Romauch , Richard F. Hartl

Dynamical decoupling (DD) is one of the simplest error suppression methods, aiming to enhance the coherence of qubits in open quantum systems. Moreover, DD has demonstrated effectiveness in reducing coherent crosstalk, one major error…

Quantum Physics · Physics 2024-08-27 Siyuan Niu , Aida Todri-Sanial , Nicholas T. Bronn

Superconductor electronics (SCE) is a promising complementary and beyond CMOS technology. However, despite its practical benefits, the realization of SCE logic faces a significant challenge due to the absence of dense and scalable…

Superconductivity · Physics 2024-12-05 Mustafa Altay Karamuftuoglu , Beyza Zeynep Ucpinar , Sasan Razmkhah , Massoud Pedram

In-memory computing (IMC) with single instruction multiple data (SIMD) setup enables memory to perform operations on the stored data in parallel to achieve high throughput and energy saving. To instruct a SIMD IMC hardware to compute a…

Emerging Technologies · Computer Science 2024-12-04 Xingyue Qian , Chenyang Lv , Zhezhi He , Weikang Qian

Phase change memory (PCM) has recently emerged as a promising technology to meet the fast growing demand for large capacity memory in computer systems, replacing DRAM that is impeded by physical limitations. Multi-level cell (MLC) PCM…

Hardware Architecture · Computer Science 2017-11-27 Seyed Mohammad Seyedzadeh , Alex K. Jones , Rami Melhem

A rotation-based synthesis framework for reversible logic is proposed. We develop a canonical representation based on binary decision diagrams and introduce operators to manipulate the developed representation model. Furthermore, a…

Emerging Technologies · Computer Science 2013-03-26 Afshin Abdollahi , Mehdi Saeedi , Massoud Pedram

While features of different scales are perceptually important to visual inputs, existing vision transformers do not yet take advantage of them explicitly. To this end, we first propose a cross-scale vision transformer, CrossFormer. It…

Computer Vision and Pattern Recognition · Computer Science 2023-12-05 Wenxiao Wang , Wei Chen , Qibo Qiu , Long Chen , Boxi Wu , Binbin Lin , Xiaofei He , Wei Liu

High Level Synthesis (HLS) tools offer rapid hardware design from C code, but their compatibility is limited by code constructs. This paper investigates Large Language Models (LLMs) for refactoring C code into HLS-compatible formats. We…

Hardware Architecture · Computer Science 2025-04-15 Luca Collini , Siddharth Garg , Ramesh Karri

Logic synthesis, a critical stage in electronic design automation (EDA), optimizes gate-level circuits to minimize power consumption and area occupancy in integrated circuits (ICs). Traditional logic synthesis tools rely on human-designed…

Machine Learning · Computer Science 2025-07-21 Haoyuan Wu , Haisheng Zheng , Shoubo Hu , Zhuolun He , Bei Yu

In this article, we present a dynamical scheme to obtain a reconfigurable noise-aided logic gate, that yields all six fundamental 2-input logic operations, including the XOR operation. The setup consists of two coupled bistable subsystems…

Adaptation and Self-Organizing Systems · Physics 2022-01-20 Manaoj Aravind , P. Parmananda , Sudeshna Sinha

The synthesis approaches for quantum circuits typically aim at minimizing the number of lines or gates. Given the tight restrictions on those logical resources in physical implementations, we propose to view the problem fundamentally…

Emerging Technologies · Computer Science 2023-02-03 Niels Gleinig , Tobias Rohner , Torsten Hoefler

The end of Moore's law for CMOS technology has prompted the search for low-power computing alternatives, resulting in several promising proposals based on magnetic logic[1-8]. One approach aims at tailoring arrays of nanomagnetic islands in…

Mesoscale and Nanoscale Physics · Physics 2021-09-08 Pieter Gypens , Jonathan Leliaert , Massimiliano Di Ventra , Bartel Van Waeyenberge , Daniele Pinna

Integrated circuit (IC) piracy and overproduction are serious issues that threaten the security and integrity of a system. Logic locking is a type of hardware obfuscation technique where additional key gates are inserted into the circuit.…

Cryptography and Security · Computer Science 2021-01-27 Michael Yue , Fatemeh Tehranipoor

OpenACC lowers the barrier to GPU offloading, but writing high-performing pragma remains complex, requiring deep domain expertise in memory hierarchies, data movement, and parallelization strategies. Large Language Models (LLMs) present a…

Software Engineering · Computer Science 2026-01-15 Samyak Jhaveri , Cristina V. Lopes