Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption

Re-assign community