DSP中存储保护单元的设计与断言验证

摘要：

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

关键词：存储保护单元、断言验证、DSP、功能验证

所属期刊栏目：10

分类号：TP39(计算技术、计算机技术)

资助基金：湖南省教育厅基金资助科研项目;长沙市科技计划重点项目

在线出版日期：2020-11-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：113-115,119