Browsing: Verilog dataflow modeling