Login / Signup
LOOPLock: Logic Optimization-Based Cyclic Logic Locking.
Hsiao-Yu Chiang
Yung-Chih Chen
De-Xuan Ji
Xiang-Min Yang
Chia-Chun Lin
Chun-Yao Wang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
classical logic
logic programming
modal logic
asynchronous circuits
automated reasoning
neural network
optimization algorithm
fine grained
delay insensitive
database
set theory
logical framework
concurrency control
data management
optimal solution
database systems
search engine
information retrieval
data sets