very simple WS2812 LED driver written in Verilog. Demonstrates timing is working.
- Parameter NUM_LEDS sets the number of LEDs in the chain (up to 255)
- Data is RGB format, 24 bits.
- Data for each LED is loaded with the write signal
- expects clock to be 12 MHz
Use iverilog to run the testbench and show the results with gtkwave
Use symbiyosys to formally prove certain aspects of the core
Synthesise and program bitstream to 8k dev board.