Verilog digital system design : RT level synthesis, testbench, and verification - Navabi, Zainalabedin (New York : McGraw-Hill, 2006)
Περιέχει βιβλιογραφία και ευρετήριο.
Keywords: Verilog (Computer hardware description language); Electronic digital computers -- Computer-aided design