Massively parallel logic simulation with GPUs

Y Zhu, B Wang, Y Deng - ACM Transactions on Design Automation of …, 2011 - dl.acm.org
In this article, we developed a massively parallel gate-level logical simulator to address the
ever-increasing computing demand for VLSI verification. To the best of the authors' …

[PDF][PDF] VFSIM: Vectorized fault simulator using a reduction technique excluding temporarily unobservable faults

T Nagumo, M Nagai, T Nishida, M Miyoshi… - Proceedings of the 31st …, 1994 - dl.acm.org
A new fault simulator (VFSIM) for synchronous sequential circuits has been developed and
applied to random access scan circuits of several hundred LSIs in mainframe computers …

Zamlog: A parallel algorithm for fault simulation based on Zambezi

MB Amin, B Vinnakota - Proceedings of International …, 1996 - ieeexplore.ieee.org
We present a new multiprocessor sequential circuit fault simulator, Zamlog, based on a
novel uniprocessor simulator, Zambezi. Both the fault and test sets are partitioned for …

Data parallel sequential circuit fault simulation

MB Amin, B Vinnakota - … on Circuits and Systems. Circuits and …, 1996 - ieeexplore.ieee.org
Sequential circuit fault simulation is a compute-intensive problem. Parallel simulation is one
method to reduce fault simulation time. In this paper, we discuss a novel technique to …

Asynchronous Parallel Logic Simulation on Modern Graphics Processors

Y Deng, Y Zhu, W Bo - GPU Solutions to Multi-scale Problems in Science …, 2013 - Springer
Logic simulation has become the bottleneck of today's integrated circuit (IC) design projects.
For instance, over 80% of the IC design turn-around time of NVIDIA is spent on logic …

Data structures for SIMD logic simulation

M Kabiri Chimeh - 2016 - theses.gla.ac.uk
Due to the growth of design size and complexity, design verification is an important aspect of
the Logic Circuit development process. The purpose of verification is to validate that the …