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.