TY - RPRT TI - Optimizing the Use of Behavioral Locking for High-Level Synthesis AU - Christian Pilato AU - Luca Collini AU - Luca Cassano AU - Donatella Sciuto AU - Siddharth Garg AU - Ramesh Karri PY - 2022 DO - 10.1109/tcad.2022.3179651 UR - https://arxiv.org/abs/2105.09666 ID - 2105.09666 ER -