Reverse engineering circuits using behavioral pattern mining. - Wenchao Li 001; Zach Wasson; Sanjit A. Seshia (HOST, 2012)