Top level file for the decoder: mkReedSolomon.bsv
Top level testbench: mkTestbench.bsv

The testbench reads the corrupted data from the file input.dat 
(with the first 2 terms being 'n' and 't' parameters) and writes
the decoded output to output.dat

Bluespec license required to compile the code to verilog.
Bluesim license required for running the testbench simulation.