Program to Convert Xilinx Schematics with D Flip-Flops to Truth Table Format?

I have a somewhat complicated Schematics design. Is there a program which could convert my design into truth tables?
If there is no such program, how can i represent the D flip-flops of the following design in a truth table?

https://obrazki.elektroda.pl/2011647700_1368879204.png