Login / Signup
A Survey on SoC Security Verification Methods at the Pre-silicon Stage.
Rasheed Kibria
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
computational cost
model checking
empirical studies