Browsing: Verilog modeling