An Abstract Approach To Fpga Lut Bitstream Reverse Engineering