Abstract:The demise of Moore's Law and Dennard Scaling has revived interest in specialized computer architectures and accelerators. Verification and testing of this hardware depend heavily upon cycle-accurate simulation of register-transfer-level (RTL) designs. The fastest software RTL simulators can simulate designs at 1--1000 kHz, i.e., more than three orders of magnitude slower than hardware. Improved simulators can increase designers' productivity by speeding design iterations and permitting more exhaustive exploration. One possibility is to exploit low-level parallelism, as RTL expresses considerable fine-grain concurrency. Unfortunately, state-of-the-art RTL simulators often perform best on a single core since modern processors cannot effectively exploit fine-grain parallelism. This work presents Manticore: a parallel computer designed to accelerate RTL simulation. Manticore uses a static bulk-synchronous parallel (BSP) execution model to eliminate fine-grain synchronization overhead. It relies entirely on a compiler to schedule resources and communication, which is feasible since RTL code contains few divergent execution paths. With static scheduling, communication and synchronization no longer incur runtime overhead, making fine-grain parallelism practical. Moreover, static scheduling dramatically simplifies processor implementation, significantly increasing the number of cores that fit on a chip. Our 225-core FPGA implementation running at 475 MHz outperforms a state-of-the-art RTL simulator running on desktop and server computers in 8 out of 9 benchmarks.

Robust Conservative Parallel HDL Simulation on Multi-Core CPUs

A Parallel Simulator for Massive Reservoir Models Utilizing Distributed-Memory Parallel Systems

Reconfigurable Hardware/software Cosimulation Platform for Media Processor

Distributed Time, Conservative Parallel Logic Simulation on GPUs

A novel component-based hardware-software co-simulation system based on OR1200

Parallel Circuit Simulation on Multi/Many-core Systems.

Accelerating RTL Simulation with GPUs

A "NEAR-THE-BEST" SYSTEM-LEVEL DESIGN METHODOLOGY OF MULTI-CORE H.264 VIDEO DECODER BASED ON THE PARALLELIZED MULTI-CORE SIMULATOR

Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism

A High-Throughput, High-Accuracy System-Level Simulation Framework for System on Chips

Design Methodology of the Heterogeneous Multi-core Processor with the Combination of Parallelized Multi-core Simulator and Common Register File-Based Instruction Set Extension Architecture.

A New Concurrent Mechanism for Distributed Hardware-in-the-loop Simulation Test System

A Loosely-Coupled Full-System Multicore Simulation Framework

A networks-on-chip emulation/verification framework

An Accurate Multi-processing Simulator Based on ADL

Fast Simulation of Interconnect-Dominant Circuits

Verifying Parallel Low-Level Programs for Multi-core Processor

SimLuator: A multi-core CPU simulator with dynamic language Lua

Media processor hardware/software co-simulation and co-verification platform

A Conservative Time Management Model with Optimized Degree of Parallelism for Distributed Simulation

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