DE2: SAT-Based Sequential Logic Decryption with a Functional Description.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Browse the full DATE paper archive.