Abstract:With the fast increasing complexity of integrated circuits, verification has become the bottleneck of today's IC design flow. In fact, over 70% of the IC design turn-around time can be spent on the verification process in a typical IC design project. Among various verification tasks, Register Transfer Level (RTL) simulation is the most widely used method to validate the correctness of digital IC designs. When simulating a large IC design with complicated internal behaviors (e.g., CPU cores running embedded software), RTL simulation can be extremely time consuming. Since RTL-to-layout is still the most prevalent IC design methodology, it is essential to speedup the RTL simulation process. Recently, General Purpose computing on Graphics Processing Units (GPGPU) is becoming a promising paradigm to accelerate computing-intensive workloads. A few recent works have demonstrated the effectiveness of using GPU to expedite gate and system level simulation tasks. In this work, we proposed an efficient GPU-accelerated RTL simulation framework. We introduce a methodology to translate Verilog RTL description into equivalent GPU source code so as to simulate circuit behavior on GPUs. In addition, a CMB based parallel simulation protocol is also adopted to provide a sufficient level of parallelism. Because RTL simulation lacks data-level parallelism, we also present a novel solution to use GPU as an efficient task-level parallel processor. Experimental results prove that our GPU based simulator outperforms a commercial sequential RTL simulator by over 20 fold.

Accelerate Logic Re-simulation on GPU via Gate/Event Parallelism and State Compression

Acceleration for Timing-Aware Gate-Level Logic Simulation with One-Pass GPU Parallelism

Accelerating RTL Simulation with GPUs

Distributed Time, Conservative Parallel Logic Simulation on GPUs

Massively Parallel Logic Simulation with GPUs.

General-Purpose Gate-Level Simulation with Partition-Agnostic Parallelism.

DyGA: A Hardware-Efficient Accelerator with Traffic-Aware Dynamic Scheduling for Graph Convolutional Networks.

Problem C: GPU Accelerated Logic Rewriting

Exploiting Parallelism in the Simulation of General Purpose Graphics Processing Unit Program

An Automatic Optimization Method of Combinational Logic Loops in CGRA

Enhancing ASIC Technology Mapping via Parallel Supergate Computing

GRAPHIC: GatheR-And-Process in Highly Parallel with In-SSD Compression Architecture in Very Large-Scale Graph

GPU-Accelerated Sparse LU Factorization for Circuit Simulation with Performance Modeling

Sparse LU Factorization for Parallel Circuit Simulation on GPU

Parallel Global Placement on CPU Via Parallel Reduction

Lazy Qubit Reordering for Accelerating Parallel State-Vector-based Quantum Circuit Simulation

Parallel cross-layer optimization of high-level synthesis and physical design

Accelerating stochastic‐based reliability estimation for combinational circuits at RTL using GPU parallel computing

Communication Optimizations for State-vector Quantum Simulator on CPU+GPU Clusters.

GPU Acceleration in VLSI Back-end Design: Overview and Case Studies.

Towards Accelerating Irregular EDA Applications with GPUs.