Using Graphics Processing Units for Logic Simulation of Electronic Designs
Department of Computer Engineering, Bogazici University, Istanbul, Turkey
11th International Workshop on Microprocessor Test and Verification (MTV), 2010
@inproceedings{sen2010using,
title={Using Graphics Processing Units for Logic Simulation of Electronic Designs},
author={Sen, A. and Aksanli, B. and Bozkurt, M.},
booktitle={Microprocessor Test and Verification (MTV), 2010 11th International Workshop on},
pages={73–76},
year={2010},
organization={IEEE}
}
Logic simulation is the major verification technique used for electronic system designs. Speeding up logic simulation results in great savings and shorter time-to-market. We parallelize logic simulation using Graphics Processing Units (GPUs). We present a parallel cycle-based logic simulation algorithm that uses And Inverter Graphs (AIGs) as design representations. We partition the gates in the design into independent blocks and simulate these blocks using the GPU. Our algorithm exploits the massively parallel GPU architecture featuring thousands of concurrent threads, fast memory, and memory coalescing for optimizations. We demonstrate upto 21x speedup on several benchmarks using our simulation system.
September 2, 2011 by hgpu
