literate verilog example