Verilog for Implementation and Verification

  • Khaled Salah Mohamed
Part of the Analog Circuits and Signal Processing book series (ACSP)


Hardware Description Language (HDL) is widely used as it is easier to explore different design options (e.g., throughput vs. latency), reduce design time and cost significantly, allows larger designs, can reuse design to target different technologies as it is technology-independent language.


HDL Abstraction Software Hardware Module Port Array Concurrent Sequential Function Task Coding style Operators Template Arithmetic DUT Logic simulators 


  1. 1.
    Mehler R (2015) Digital integrated circuit design using verilog and systemverilog. Elsevier, OxfordGoogle Scholar
  2. 2.
    Williams JM (2014) Digital VLSI design with verilog. Springer, ChamGoogle Scholar
  3. 3.
    Dubey R (2007) Introduction to embedded system design using field programmable gate arrays. Springer, LondonGoogle Scholar
  4. 4.
    Kilts S (2007) Advanced FPGA design architecture, implementation, and optimization. Wiley, HobokenGoogle Scholar
  5. 5.
    Chu PP (2008) FPGA prototyping by verilog examples Xilinx SpartanTM-3 version. Wiley, HobokenGoogle Scholar
  6. 6.
    Ciletti MD (2003) Advanced digital design with the verilog HDL. Prentice Hall, Upper Saddle RiverGoogle Scholar
  7. 7.
    Ciletti IMD (2003) Starter’s guide to verilog 2001. Prentice Hall, Upper Saddle RiverGoogle Scholar
  8. 8.
    Ashenden PJ (2008) Digital design: an embedded systems approach using verilog. Morgan Kaufmann, BurlingtonGoogle Scholar
  9. 9.
    Lilja DJ, Sapatnekar SS (2005) Designing digital computer systems with verilog. Cambridge University Press, New YorkGoogle Scholar
  10. 10.
    Navabi Z (2005) Digital design and implementation with field programmable devices. Kluwer, BostonGoogle Scholar
  11. 11.
  12. 12.
  13. 13.
    Yuan J, Pixley C, Aziz A (2006) Constraint-based verification. Springer, New YorkGoogle Scholar
  14. 14.
    Qian H, Deng Y (2011) Accelerating RTL simulation with GPUs. In: 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), IEEE, San Jose, pp 687–693Google Scholar
  15. 15.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Khaled Salah Mohamed
    • 1
  1. 1.EmulationMentor GraphicsHeliopolisEgypt

Personalised recommendations