On SAT-Based Attacks On Encrypted Sequential Logic Circuits.

Yasaswy Kasarabada Suyuan Chen Ranga Vemuri

Published in: ISQED (2019)

Keyphrases

logic circuits
low power
functional decomposition
stepping stones
tunnel diode
power consumption
answer set programming
low cost
gate array
ai planning
sat solvers
pattern recognition
power dissipation
logic synthesis
bounded model checking
high speed
planning problems