HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language | IEEE Journals & Magazine | IEEE Xplore