Li, Wenchao, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit Seshia. 2013. “Wordrev: Finding Word-Level Structures in a Sea of Bit-Level Gates”. In Hardware-Oriented Security and Trust (HOST), 2013 IEEE International Symposium on, 67–74. IEEE.