menu_bookVerilogVerilog, Formal Verification and Verilator Beginner's TutorialDaniel E. GisselquistEnglishRead