Optimizing the Use of Behavioral Locking for High-Level Synthesis. (arXiv:2105.09666v3 [cs.AR] UPDATED)

The globalization of the electronics supply chain requires effective methods
to thwart reverse engineering and IP theft. Logic locking is a promising
solution, but there are many open concerns. First, even when applied at a
higher level of abstraction, locking may result in significant overhead without
improving the security metric. Second, optimizing a security metric is
application-dependent and designers must evaluate and compare alternative
solutions. We propose a meta-framework to optimize the use of behavioral
locking during the high-level synthesis …

ar