【摘 要】
：
针对X-DSP存储空间的访问安全问题,本文采用硬件保护原理设计了一个存储保护单元,通过检查访问请求属性是否安全来决定是否允许未授权用户访问存储保护区域,从而实现存储空间
【机 构】
：
长沙理工大学物理与电子科学学院,湖南毂梁微电子有限公司
【基金项目】
：
湖南省教育厅基金资助科研项目(17B007),长沙市科技计划重点项目(kq1901102)
论文部分内容阅读
针对X-DSP存储空间的访问安全问题,本文采用硬件保护原理设计了一个存储保护单元,通过检查访问请求属性是否安全来决定是否允许未授权用户访问存储保护区域,从而实现存储空间的数据保护功能。采用System Verilog Assertions编写存储保护单元的功能属性描述,并采用断言验证方法完成存储保护单元的形式化验证。在X-DSP芯片验证环境下,采用FPGA原型验证,完成存储保护单元的功能测试。结果表明,存储保护单元实现了X-DSP存储空间的数据保护,防止非法程序破坏安全空间,阻止未经授权的用户访问存储空间
其他文献
采用酸性魔芋精粉平板,从土壤中分离到两株产酸性甘露聚糖酶菌株,命名为LZ11、LZ12;分别对菌株LZ11、LZ12在生长过程中分泌酸性甘露聚糖酶的活力进行跟踪研究后发现,这两株菌
采用顶空固相微萃取-气相色谱-质谱联用技术(HS-SPME-GC-MS)分析新疆产地啤酒花及颗粒花中的挥发性成分。通过优化不同萃取纤维、萃取时间、萃取温度和不同萃取样品量对所鉴
采用响应面分析法优化超声波辅助提取红肉苹果花青苷的提取工艺。以花青苷的含量作为响应值,在单因素试验基础上,根据Box-Behnken中心组合试验设计原理采用4因素3水平的响应