https://vlsiweb.com/verilog-for-rtl-verification/