Gascón, Adria, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanović, and Sharad Malik. 2014. “Template-Based Circuit Understanding”. In Formal Methods in Computer-Aided Design (FMCAD), 2014, 83–90. IEEE.

Subramanyan, Pramod, Nestan Tsiskaridze, Wenchao Li, Adria Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit Seshia, and Sharad Malik. 2014. “Reverse Engineering Digital Circuits Using Structural and Functional Analyses.”. IEEE Trans. Emerging Topics Comput. 2 (1): 63–80.