针对X-DSP存储空间的访问安全问题,本文采用硬件保护原理设计了一个存储保护单元,通过检查访问请求属性是否安全来决定是否允许未授权用户访问存储保护区域,从而实现存储空间的数据保护功能。采用System Verilog Assertions编写存储保护单元的功能属性描述,并采用断言验证方法完成存储保护单元的形式化验证。在X-DSP芯片验证环境下,采用FPGA原型验证,完成存储保护单元的功能测试。结果表明,存储保护单元实现了X-DSP存储空间的数据保护,防止非法程序破坏安全空间,阻止未经授权的用户访问存储空间。另外,断言验证方法保证了功能验证的完备性,从而缩短了产品开发周期。
