Browsing: Behavioral Modelling in Verilog