SCOPE: Synthesis-Based Constant Propagation Attack on Logic Locking | IEEE Journals & Magazine | IEEE Xplore