A Gentle Introduction to Formal Verification - systemverilog.io — Blankdot