TIDA-00479: FPGA Source Files

Hi

We received a few TIDA-00479 kits with the ADC12D2000RFRB as a donation from TI. The CD included in the kit mentions that the FPGA source code is among the contents. But opening the CD, the FPGA source code is not included and everything else is available. Is it possible to get the source code for the FPGA