Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.
Kaveh ShamsiMeng LiTravis MeadeZheng ZhaoDavid Z. PanYier JinPublished in: ACM Great Lakes Symposium on VLSI (2017)
Keyphrases
- reverse engineering
- satisfiability problem
- search algorithm
- phase transition
- sat solvers
- static analysis
- circuit design
- sat problem
- analog vlsi
- delay insensitive
- constraint satisfaction
- low power
- max sat
- control flow
- search procedures
- stochastic local search
- analog circuits
- electronic circuits
- heuristic search
- stochastic local search algorithms
- high speed