SheLL: Shrinking eFPGA Fabrics for Logic Locking.
Hadi Mardani KamaliKimia Zamiri AzarFarimah FarahmandiMark M. TehranipoorPublished 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