Browsing: Logic synthesis in Verilog