diff --git a/books/free-programming-books.md b/books/free-programming-books.md
index 6fda42ac17a9adb8b152056b8567ae67d65cf543..2aaff9ae13d880e632449a9050ecca7542a0cb38 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)