From 58b7ec47b6f9743064c6edb1b9c179d0fe0d25f6 Mon Sep 17 00:00:00 2001
From: tcdude <13047632+tcdude@users.noreply.github.com>
Date: Sat, 16 Jan 2021 21:47:32 +0100
Subject: [PATCH] Add a very good and comprehensive Verilog tutorial (#5264)

---
 books/free-programming-books.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/books/free-programming-books.md b/books/free-programming-books.md
index 6fda42ac1..2aaff9ae1 100644
--- a/books/free-programming-books.md
+++ b/books/free-programming-books.md
@@ -2934,6 +2934,7 @@ Kerridge (PDF) (email address *requested*, not required)
 
 ### Verilog
 
+* [Verilog, Formal Verification and Verilator Beginner's Tutorial](https://zipcpu.com/tutorial/) - Daniel E. Gisselquist, Ph.D.
 * [Verilog Quick Reference Guide - Sutherland HDL](http://sutherland-hdl.com/pdfs/verilog_2001_ref_guide.pdf) (PDF)
 * [Verilog Tutorial](http://www.asic-world.com/verilog/veritut.html)