On the Limitations of Logic Locking the Approximate Circuits.
Kartik NayakDevanshi UpadhyayaFrancesco RegazzoniIlia PolianPublished in: AsianHOST (2022)
Keyphrases
- logic synthesis
- delay insensitive
- asynchronous circuits
- digital circuits
- logic circuits
- chip design
- multi valued
- modal logic
- database systems
- high speed
- concurrency control
- floating gate
- tunnel diode
- logic programming
- shift register
- fine granularity
- built in self test
- exact solution
- epistemic logic
- predicate logic
- computational properties
- classical logic
- logical framework
- object oriented database management systems
- automated reasoning
- probability theory
- truth table
- low power