General-Purpose Gate-Level Simulation with Partition-Agnostic Parallelism
Zizheng Guo, Zuodong Zhang, Xun Jiang, Wuxi Li, Yibo Lin, Runsheng Wang, Ru Huang
Abstract
Gate-level simulation with delay annotation is a both critical and time-consuming task in the circuit design flow. It is highly nontrivial to parallelize a simulation process, especially on designs with arbitrary general-purpose sequential elements such as latches, gated clocks, and scan chains. Current works on parallelizing gate-level simulation are fundamentally incompatible with these design elements and are highly reliant on circuit partitioning to achieve the best performance. In this paper, we propose a general-purpose gate-level simulation engine with partition-agnostic parallelism. We propose a general sequential behavior encoding technique and a fast event scheduling algorithm for general-purpose simulation tasks. Experimental results have shown up to 30× speed-up over commercial simulation engines.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 0af4aa4b-5249-4e59-84c7-f29211d8bab5Cited by top-tier papers1
Ask how each one uses itBuilds on2
- A timing engine inspired graph neural network model for pre-routing slack predictionZizheng Guo, Mingjie Liu, Jiaqi Gu, Shuhan Zhang et al.DAC 2022 · 121 citations
- GATSPI: GPU accelerated gate-level simulation for power improvementYanqing Zhang, Haoxing Ren, Akshay Sridharan, Brucek KhailanyDAC 2022 · 18 citations
Related papers
- G-PASTA: GPU-Accelerated Partitioning Algorithm for Static Timing AnalysisBoyang Zhang, Dian-Lun Lin, Che Chang, Cheng-Hsiang Chiu et al.DAC 2024 · 19 citations
- Simulation-based Parallel Sweeping: A New Perspective on Combinational Equivalence CheckingTianji Liu, Evangeline F. Y. YoungDAC 2025 · 2 citations
- EPICS: Efficient Parallel Pattern Fault Simulation for Sequential Circuits via Strongly Connected ComponentsMingjun Wang, Hui Wang, Jianan Mu, Xinyu Zhang et al.DAC 2025 · 1 citation
- SAT-Sweeping Enhanced for Logic SynthesisLuca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares et al.DAC 2020 · 20 citations
- Efficiently Exploiting Low Activity Factors to Accelerate RTL SimulationScott Beamer, David DonofrioDAC 2020 · 36 citations
