Synthesis of Hidden State Transitions for Sequential Logic Locking.
Kyle JuretusIoannis SavidisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
- state transitions
- state transition
- logic synthesis
- modal logic
- multi valued
- functional programs
- hidden markov models
- logic programming
- database systems
- logical framework
- predicate logic
- classical logic
- data objects
- concurrency control
- program synthesis
- machine learning
- databases
- digital circuits
- asynchronous circuits
- fine granularity
- proof theory
- knowledge base