By: Seetal Potluri (North Carolina State University) and Aydin Aysu (North Carolina State University)
SeqL locks scan-chains to ensure output corruption in the functional mode of operation. The resulting design is evaluated using a broad class of state-of-the-art logic-locking attacks including SAT, SMT, FALL etc.
- Input: Original circuit
- Output: Locked circuit, Attack evaluation results
Free for research use. Please contact us for industry use.