Title: SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling, Author: Stuart Sutherland
Title: Verification Methodology Manual for SystemVerilog, Author: Janick Bergeron
Title: Hardware Verification with System Verilog: An Object-Oriented Framework, Author: Mike Mintz
Title: Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog, Author: Lionel Bening
Title: Digital Computer Arithmetic Datapath Design Using Verilog HDL, Author: James E. Stine
Title: Digital Design with Verilog® HDL: (Formerly titled Hardware Modeling with Verilog HDL), Author: Elizer Sternheim
Title: The Complete Verilog Book, Author: Vivek Sagdeo
Title: Principles of Verilog PLI, Author: Swapnajit Mittra
Title: Computer Principles and Design in Verilog HDL, Author: Yamin Li
Title: Digital System Design with FPGA: Implementation Using Verilog and VHDL, Author: Cem Unsalan
Title: The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface, Author: Stuart Sutherland
Title: A Practical Guide for SystemVerilog Assertions, Author: Srikanth Vijayaraghavan
Title: FSM-based Digital Design using Verilog HDL, Author: Peter D. Minns
Title: The Verilog® Hardware Description Language, Author: Donald E. Thomas
Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Verilog HDL Synthesis: A Practical Primer, Author: J. Bhasker
Title: SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling, Author: Stuart Sutherland
Title: Analog Behavioral Modeling with the Verilog-A Language, Author: Dan FitzPatrick
Title: Assertion-Based Design, Author: Harry D. Foster
Title: Assertion-Based Design, Author: Harry D. Foster

Pagination Links