A simple traffic light system to demonstrate TMR in an FPGA.