Latch-Based Logic Locking.

Joseph Sweeney Mohammed Zackriya V Samuel Pagliarini Lawrence T. Pileggi

Published in: CoRR (2020)

Keyphrases

power consumption
flip flops
modal logic
low power
concurrency control
automated reasoning
multi valued
deontic logic
logic programming
high density
probabilistic logic
logical framework
computational properties
truth values