CPLD of DSK C5402 VHDL file

Hi to all.  I'm working in a project using a DSP C5402 and a CPLD Cypress CY37256, identical of the DSK C5402, but i don't have the configuration file of the CPLD to program it.  Is there anyboby who can help me to give this information, or somebody who knows where i can find something to respect.  Thanks.