Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats | IEEE Conference Publication | IEEE Xplore