bitstream to netlist

firstly, Thank you for your prompt response!

Secondly, I totally agree with your opinions on the testing, but there is almost no flexibility in my task.

I was asked to verify 2 sections of a particularly large project:

RTL to Netlist -> using equivalence checking tools. (conformal, formalpro, formality)

and Netlist to Bitstream -> the part I'm stuck at.

What I found out in my readings were that the bitstream contained config data for the connection switches, and couldn't that somehow be decompiled into netlist information? I know that there was a company who did this, but ran into legal troubles with Altera. I was hoping that there'd be another way around this predicament I'm in.