UVM-based verification of ECC module for flash memories.

Giuseppe Visalli

Published in: ECCTD (2017)

Keyphrases

verification method
model checking
high security
error correction
elliptic curve cryptography
elliptic curve
concurrent systems
error correcting
knowledge base
data structure
expert systems
temporal logic
security analysis
disk drives