Login / Signup
On the Optimization of Behavioral Logic Locking for High-Level Synthesis.
Christian Pilato
Luca Collini
Luca Cassano
Donatella Sciuto
Siddharth Garg
Ramesh Karri
Published in:
CoRR (2021)
Keyphrases
</>
high level synthesis
design space exploration
optimization algorithm
modal logic
database systems
optimization problems
genetic algorithm
artificial intelligence
expert systems
dynamic programming
logic programming
design space