Functional Analysis Attacks on Logic Locking. - Deepak Sirone; Pramod Subramanyan (IEEE Trans. Inf. Forensics Secur., 2020)