SheLL: Shrinking eFPGA Fabrics for Logic Locking.

Hadi Mardani Kamali Kimia Zamiri Azar Farimah Farahmandi Mark M. Tehranipoor

Published in: DATE (2023)

Keyphrases

concurrency control
classical logic
automated reasoning
data sets
sound and complete axiomatization

delay insensitive
proof theory
asynchronous circuits
epistemic logic
multi valued

logical framework
defect detection
defeasible logic
modal logic

logic programming
relational databases
database systems
genetic algorithm