Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration | IEEE Journals & Magazine | IEEE Xplore