The invention relates to a security
flash memory module
verification method and
system based on a parameterized
reference model, and aims to realize one-time writing and multi-position calling through packaging
encryption judgment and data comparison logic, greatly reduce the
duplicate code quantity of a
test case, and reduce duplicate labor by using a uniform interface. By means of a parameter
randomization mechanism in a construction script, automatic and multi-parameter combined
verification of the secure
flash memory module is realized, and the
verification coverage rate is improved by parameterized automatic execution. AES key carrying is used as
base class function packaging, case writing is simplified, process consistency is kept, key carrying process modularization is achieved, and maintenance cost is reduced. Various verification processes are executed under a unified framework, manual intervention is reduced, the
human error probability is reduced, verification efficiency and stability are improved, meanwhile, stability and expandability of a
simulation environment are improved, and the method can adapt to design and verification requirements of various security
flash memory modules.