RTL Verification for Secure Speculation Using Contract Shadow Logic.
Qinhan TanYuheng YangThomas BourgeatSharad MalikMengjia YanPublished in: CoRR (2024)
Keyphrases
- asynchronous circuits
- cryptographic protocols
- integrity verification
- verification method
- model checking
- bounded model checking
- model checker
- classical logic
- logic programming
- formal verification
- high security
- modal logic
- automated reasoning
- predicate logic
- linear time temporal logic
- supply chain
- security analysis
- cast shadows
- key distribution
- model based diagnosis
- theorem prover
- shadow detection
- temporal logic
- linear temporal logic
- lightweight