Skip to main content

Asynchronous Parallel Logic Simulation on Modern Graphics Processors

  • Chapter
  • First Online:
GPU Solutions to Multi-scale Problems in Science and Engineering

Part of the book series: Lecture Notes in Earth System Sciences ((LNESS))

  • 2826 Accesses

Abstract

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 simulation even with NVIDIA’s proprietary supercomputing facility. It is thus essential to develop parallel simulation solutions to maintain the momentum of increasing IC integration capacity. Inspired by the supreme parallel computing power of modern GPUs, in this chapter we reported our recent work on using GPU to accelerate the time-consuming IC verification process by developing a massively parallel gate-level logical simulator. To the best of authors’ knowledge, this work is the first one to leverage the power of the modern GPUs to successfully unleash the massive parallelism of a conservative discrete event driven algorithm, CMB algorithm. Based on a novel data-parallel algorithmic mapping strategy, both the data structure and processing flow of the CMB protocol are re-designed to better exploit the potential of modern GPUs. A dynamic memory management mechanism is developed to efficiently utilize the relatively limited GPU memory resource. Experimental results prove that our GPU based simulator outperforms a CPU baseline event-driven simulator by a factor of 47.4X on average. This work demonstrates that the CMB algorithm can be efficiently and effectively deployed on GPUs without the performance overhead that had hindered its successful applications on previous parallel architectures.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  • Amdahl GM (1967) Validity of the single-processor approach to achieving large-scale computing capabilities. In: American federation of information processing societies conference, AFIPS Press, pp 483–485

    Google Scholar 

  • Bailey ML, Briner JV Jr, Chamberlain RD (1994) Parallel logic simulation of VLSI systems. ACM Comput Surv 26(3):255–294

    Google Scholar 

  • Bataineh A, Özgüner F, Szauter I (1992) Parallel logic and fault simulation algorithms for shared memory vector machines. In: International conference on computer-aided design

    Google Scholar 

  • Blythe D (2008) Rise of the graphics processor. Proc IEEE 96(5):761–778

    Article  Google Scholar 

  • Bryant RE (1977) Simulation of packet communications architecture computer system. MIT-LCS-TR-188, MIT

    Google Scholar 

  • Chandy KM, Misra J (1979) Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans Softw Eng SE-5(5):440–452

    Google Scholar 

  • Chandy KM, Misra J (1981) Asynchronous distributed simulation via a sequence of parallel computations. Commun ACM 24(4):198–206

    Article  MathSciNet  Google Scholar 

  • Chandy KM, Misra J, Holmes V (1979) Distributed simulation of networks. Comput Netw 3:105–113

    MATH  Google Scholar 

  • Chatterjee D, DeOrio A, Bertacco V (2009a) Event-driven gate-level simulation with GP-GPUs. In: Design automation conference

    Google Scholar 

  • Chatterjee D, DeOrio A, Bertacco V (2009b) High-performance gate-level simulation with GP-GPUs. In: Design automation test Europe

    Google Scholar 

  • Fujimoto RM (2000) Parallel and distributed simulation systems. Wiley-Interscience, New York

    Google Scholar 

  • Fung WWL, Sham I, Yuan G, Aamodt TM (2007) Dynamic warp formation and scheduling for efficient GPU control flow. In: International symposium on microarchitecture, Chicago, pp 407–418

    Google Scholar 

  • Gulati K, Khatri S (2008) Towards acceleration of fault simulation using graphics processing units. In: Design automation conference

    Google Scholar 

  • Holmes V (1978) Parallel algorithms on multiple processor architectures. Ph.D. dissertation, Computer Science Department, University of Texas, Austin

    Google Scholar 

  • Huang JH (2010) Keynote speech. In: Mini GPU technology conference, Beijing

    Google Scholar 

  • IEEE (2005) IEEE Std. 1666–2005, Standard for SystemC

    Google Scholar 

  • ITC99 Benchmarks (1999) http://www.cad.polito.it/tools/itc99.html

  • Jefferson DR (1985) Virtual time. ACM Trans Prog Lang Syst 7(3):404–425

    Article  MathSciNet  Google Scholar 

  • MPI (2000) http://www.mpi-forum.org/docs/

  • NVIDIA (2009) CUDA Programming Guide 2.3

    Google Scholar 

  • NVIDIA (2010) White paper. NVIDIA’s next generation CUDA™ compute architecture: Fermi

    Google Scholar 

  • OpenCores (2010) http://www.opencores.org/

  • Park H, Fishwick PA (2008) A fast hybrid time-synchronous/event approach to parallel discrete event simulation of queuing networks. In: Conference on winter simulation

    Google Scholar 

  • Park H, Fishwick PA (2009) A GPU-based application framework supporting fast discrete-event simulation. Simulation. doi:10.1177/0037549709340781

  • PCI-SIG (2010) PCIe base 3.0 specification.http://www.pcisig.com/specifications/pciexpress/base3

  • Peacock JK, Wong JW, Manning EG (1979) Distributed simulation using a network of processors. Comput Netw 3(1):44–56

    Google Scholar 

  • Perumalla KS (2006a) Discrete-event execution alternatives on general purpose graphical processing units (GPGPUs). In: Workshop on principles of advanced and distributed simulation

    Google Scholar 

  • Perumalla KS (2006b) Parallel and distributed simulation: traditional techniques and recent advances. In: Conference on winter simulation

    Google Scholar 

  • Rashinkar P, Paterson P, Singh L (2000) System-on-a-chip verification: methodology and techniques. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  • Rybacki S, Himmelspach J, Uhrmacher AM (2009) Experiments with single core, multi-core, and GPU based computation of cellular automata. In: Advances in international conference system simulation, pp 62–67

    Google Scholar 

  • Soule L, Gupta, A (1991) An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulation. ACM Trans Model Comput Simul 1(4):308–347

    Google Scholar 

  • Synopsys (2010) VCS: multicore-enabled functional verification solution. http://www.synopsys.com/tools/verification/functionalverification/pages/vcs.aspx

  • Xu Z, Bagrodia R (2007) GPU-accelerated evaluation platform for high fidelity network modeling. In: International workshop on principles of advanced and distributed simulation

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Appendix. Sample Code Snippets

Appendix. Sample Code Snippets

 

figure a2
figure a3
figure a4
figure a5

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Deng, Y., Zhu, Y., Bo, W. (2013). Asynchronous Parallel Logic Simulation on Modern Graphics Processors. In: Yuen, D., Wang, L., Chi, X., Johnsson, L., Ge, W., Shi, Y. (eds) GPU Solutions to Multi-scale Problems in Science and Engineering. Lecture Notes in Earth System Sciences. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16405-7_32

Download citation

Publish with us

Policies and ethics