Browsing: Verilog timing checks