KB01: Verilog FAQ