Sequential Logic Encryption Against Model Checking Attack Due to high IC design costs and emergence of countless untrusted foundries, logic encryption has been taken into consideration more than ever.