Solver-Aided Constant-Time Hardware Verification.

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

Published in: CCS (2021)

Keyphrases

hardware designs
low cost
model checking
real time
hardware and software
formal verification
face verification
verification method
computing systems
hardware implementation
massively parallel
formal methods
circuit design
single chip
hardware architecture
embedded systems
standard pc
general purpose