Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking | IEEE Conference Publication | IEEE Xplore