Verilog digital system design :RT level synthesis, testbench, and verification - Navabi, Zainalabedin (New Delhi McGraw-Hill, 2008)
Includes bibliographical references and index.
Keywords: Verilog (Computer hardware description language); Electronic digital computers -- Computer-aided design