随着智能科技的迅猛发展与社会智能信息化程度的加深,数据作为信息的载体已经演变成一种核心资产。然而伴随着个人隐私的泄漏,数据内容被破解等安全问题日益涌现,计算机数据安全问题越来越受到人们的重视。DDR是非常通用的易失性存储器,很多芯片系统中的模块诸如CPU、DMA、CE等都会对DDR进行访问,主要进行着数据存储和读取等工作。因此DDR存储系统在数据安全保护中起着关键作用,该系统也往往会成为恶意攻击者的首选目标。目前针对非易失性存储器的数据存储安全保护技术已经研究很多,但是针对易失性存储器的数据存储安全保护技术研究较少,所以DDR存储系统的数据安全成为安全领域的一个重要研究方向。SMC2.0即为DDR上层的安全控制模块,保障So C系统中其他主机模块对DDR的访问安全,其具有较为复杂的内部结构及功能,如对DDR的区域划分,对众多master命令的安全鉴权,对数据的加解扰及加解密等。所以对于此种易失性安全存储控制器验证方法的选择,验证平台的设计及验证平台的优化方案就具有重要的研究价值。为了设计更完备的验证平台,提高验证的自动化能力,提高验证平台的重用性及与其他语言的交互性,进而提升验证效率。本文从研究SMC2.0的各种功能,通信协议出发,采用UVM验证方法学,通过System Verilog语言实现对SMC2.0模块的功能验证。主要实现了验证平台总体架构及各组件的设计,重点对HIF协议的验证VIP及模拟SMC2.0各种功能的参考模型开发。通过设计功能覆盖率文件及测试用例,实现功能覆盖率达标。通过对代码覆盖率的分析完成对SMC2.0模块的设计质量评估。另外重点研究了脚本在提升验证效率中的作用,在实现验证平台及用例的基础上,研究采用Perl脚本工具处理Excel的方式生成DUT和验证环境相关的宏定义文件,当不同项目需要不同版本的SMC2.0时便捷的获取其验证环境,达到自动化复用目的。本文主要研究内容及研究成果如下所示:(1)基于对SMC2.0的功能及通信协议的研究,完成验证点的提取。重点通过交叉覆盖各功能点进行验证场景构建,实现在最复杂验证场景下分别采用HIF协议的普通传输模式和outstanding传输模式进行数据传输。(2)研究UVM验证方法学,采用UVM基础类库构建验证平台。设计诸如agent、driver、monitor等验证组件,重点基于各种验证场景设计参考模型,基于HIF通信协议设计VIP通用验证模型。为了解决不同项目SMC2.0对验证平台的需求不同的问题,本课题选择通过人为配置Excel的方式,在基本验证环境的基础上通过设计处理该Excel的Perl脚本实现灵活适配不同项目的SMC2.0验证平台的方式,极大缩短验证平台设计时间,提高验证效率。(3)基于提取的验证点设计底层sequence及顶层virtual sequence,构建不同的测试场景交叉覆盖SMC2.0的所有功能点。(4)设计功能覆盖率文件,通过设计Perl回归脚本实现高效的回归验证,并完成对SMC2.0的功能覆盖率收集工作。通过DVE软件分析覆盖率的收集情况,通过定向测试实现代码覆盖率及功能覆盖率的达标。通过Verdi软件完成对各典型测试用例波形的分析。