Kashani, S., Emami, M., & R. Larus, J. (2022). Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats (Version 1.0) [Computer software]. https://github.com/epfl-vlsc/bitfiltrator