Browsing: Finite State Machines (FSMs) in Verilog