The C source of Viterbi decoder for DVB-T

Hi everyone,

I am working on a project of DVB-T now. I try to use the C6416 to
implement the Viterbi decoder. As my known, the co-processor, VCP,
includes in the C6416. Does anyone can give me the C source of Viterbi
decoder using VCP or compatible in C6416?

Thanks in advanced.

yoyo