CPLD : Is there a way

Yes.

A more usefull question, is : 'is it practical?'

You should specify which CPLD, and what other source codes you have from this project.

For simpler devices JED2EQN programs exist, and the IC vendors may have internal use JED to EQN - for these you will need to prove ownership of the JED file, and have a credible story as to how you find yourself in the situation where this is necessary.

Once you think you have it right, you should be able to prove that. Test vector support can help here.

-jg