Netlist Description of Traffic Light Controller in Verilog HDL.