SAT-Hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain | IEEE Journals & Magazine | IEEE Xplore