数字信号处理器(Digital signal processor,DSP)广泛应用于雷达、声纳、数字通信以及语音视频信号处理等领域。为保证DSP能够正常有序工作,防止某些访问操作出错而导致其它事件的程序和数据遭到破坏,以及防止某些非法访问操作破坏DSP的存储空间,需在DSP中加入存储保护功能。针对xDSP存储空间的访问安全问题,采用从片上Flash读取密码,并作全0、全1判断以及与密匙寄存器匹配,设计一个代码安全模块CSM(Code secure model),实现密码匹配流程。采用硬件保护原理设计一个存储保护单元,通过检查CPU访问请求属性是否安全以及xDSP是否受CSM保护来决定未授权用户是否允许访问存储保护区域,从而实现存储空间内数据和代码的保护。基于System Verilog Assertion编写CSM模块和存储保护单元的断言属性,采用断言验证方法完成其功能验证。并在xDSP全芯片验证环境下,采用FPGA原型验证分别完成CSM模块在xDSP上电复位、保护状态、解锁状态和密码匹配失败的功能测试,以及存储保护单元在xDSP保护状态(CSM=1)和未保护状态(CSM=0)的功能测试。结果表明,CSM模块和存储保护单元分别实现了密码匹配流程和存储空间访问请求的安全属性检查功能,从而实现了xDSP中存储空间内数据和代码的保护功能,防止了非法程序破坏安全空间和阻止未经授权的用户访问存储空间。另外,与传统的模拟仿真验证方法相比,断言验证方法有效提高了代码覆盖率,其中CSM模块在各个功能点测试下其代码覆盖率提高了 10%以上,并且断言覆盖率、功能覆盖率都达到100%,保证了测试验证的完备性。