Hello,
I'd like to know if there is any documentation on the (presumably normal) form of the LUT boolean equations as used by Xilinx to describe the LUT's operation in fpga_editor and xdl files, and if there is any existing algorithm to get this normalized equation from the LUT's memory contents.
Thank you, JB