Solver-Aided Constant-Time Circuit Verification.

Rami Gökhan Kici Klaus von Gleissenthall Deian Stefan Ranjit Jhala

Published in: CoRR (2021)

Keyphrases

model checking
asynchronous circuits
high speed
circuit design
signature verification
formal verification
face verification
verification method
data sets
neural network
website
constraint programming
formal methods
frequency response
delay insensitive