Sep 2026· IEEE International Conference on Application-Specific Systems, Architectures, and Processors· pp. 171-172· 0 citations· 7 references
Abstract
Following Moore's Law, the ever-increasing complexity, i.e., the number of logic gates, of digital systems poses significant challenges for verification at the netlist (i.e., logic gate) level. On the one hand, the inherent bit-level parallelism exposed by netlists cannot be efficiently exploited to accelerate simulations on traditional multicore general-purpose processors. On the other hand, emulation systems based on multiple FPGA devices suffer from netlist partitioning overhead as well as excessively long EDA runtime for synthesis and place-and-route. In order to solve these issues, a manycore system based on specialized logic emulation processor cores can be used to exploit the inherent netlist parallelism, while reducing preparation time and providing improved debugging facilities via utilizing a software compiler. This work focuses on the logic emulation processor core, proposing an open-source application-specific instruction-set processor, called NanoLogicController, for gatelevel circuit emulation. The NanoLogicController architecture features a minimal control path and a lookup-table-based data path design, specialized for the evaluation of logic gate functions, which are converted into program code via a Verilog netlist parser and a custom code generation tool. Due to stack-based data organization inside the data path, a very compact 4-bit-wide instruction-set and instruction encoding can improve program code density and reduce instruction memory requirements. In a post-synthesis evaluation using a 22 nm FDSOI CMOS technology, the minimal core architecture achieves a maximum clock frequency of 6 GHz and requires only $\mathbf{3 8 2 7} \boldsymbol{\mu m}^{\mathbf{2}}$ of silicon area including memories. This paves the way for integrating an opensource high-performance, massively parallel manycore netlist emulator with up to approx. 250 cores/ $\mathbf{m m}^{\mathbf{2}}$ in future work.
Set-based (a.k.a. bit-vector-based) dataflow analysis is a fundamental building block for many static analysis tasks, and significant effort has been devoted to accelerating it. Existing acceleration approaches address the problem from a software perspective, leveraging various general-purpose computing platforms, such...
Fan-Juan Wei, Qin-Lin Chen, Nai-Ren Zhang et al.· 0 citations
A novel variation of high-effort logic synthesis called transduction is presented, which performs transformation and reduction using don’t-cares to restructure the circuit.
Yukio Miyasaka, Alan Mishchenko, John Wawrzynek et al.· 0 citations
This project focuses on designing and simulating a 32-bit RISC-V processor that can switch dynamically between an Integer ALU (RV32I) and a Floating Point ALU (RV32F). The main aim of the work is to make the processor to perform both integer and floating-point operations using a single architecture, which eliminate the...
Abhijith Pananghat, Murugesan Hariharan, R. Megalingam· International Conference on...· 0 citations
Stakeholder-specific recommendations for academia, industry, and government to transition HRE from isolated research silos toward a collaborative discipline capable of assuring increasingly complex, global hardware supply chains are derived.
Zehra Karadağ, Simon Klix, René Walendy et al.· 0 citations
The Arithmetic Logic Unit (ALU) is a fundamental building block of all modern central processing units (CPUs). This papers presents the design and implementation of a 16-bit, 4-function ALU constructed entirely from basic logic gates, using a structural Verilog approach. The ALU supports four operations: addition, subt...
P. B., Yashaswini H. A.· International Journal of Eng...· 0 citations
This work presents the first large-scale Systematization of Knowledge of Knowledge of the HRE workflow, analyzing 187 peer-reviewed publications and derives stakeholder-specific recommendations for academia, industry, and government to transition HRE from isolated research silos toward a collaborative discipline capabl...
Zehra Karadağ, Simon Klix, René Walendy et al.· IACR Transactions on Cryptog...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.