Browsing: Verilog Modeling Techniques