Login / Signup
Scaling Logic Locking Schemes to Multi-module Hardware Designs.
Dominik Sisejkovic
Farhad Merchant
Lennart M. Reimann
Rainer Leupers
Sascha Kegreiß
Published in:
ARCS (2020)
Keyphrases
</>
hardware designs
concurrency control
classical logic
computer vision
image processing
modal logic
model based diagnosis
general purpose
logic programming
predicate logic
fine granularity
transaction processing systems
optimistic concurrency control