Browsing: Behavioral modeling in Verilog