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

来源 :智能计算机与应用 | 被引量 : 0次 | 上传用户:helen_00_00
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对X-DSP存储空间的访问安全问题,本文采用硬件保护原理设计了一个存储保护单元,通过检查访问请求属性是否安全来决定是否允许未授权用户访问存储保护区域,从而实现存储空间的数据保护功能。采用System Verilog Assertions编写存储保护单元的功能属性描述,并采用断言验证方法完成存储保护单元的形式化验证。在X-DSP芯片验证环境下,采用FPGA原型验证,完成存储保护单元的功能测试。结果表明,存储保护单元实现了X-DSP存储空间的数据保护,防止非法程序破坏安全空间,阻止未经授权的用户访问存储空间
其他文献
本文阐述了利用通用绘图软件AutoCAD绘图后产生。DXF图形交换文件,用FoxPRO编程从。DXF图形交换文件中提取图形实体信息,然后输出3B指令,精神病切加工计算机辅助设计与制造的原理和方法。
采用酸性魔芋精粉平板,从土壤中分离到两株产酸性甘露聚糖酶菌株,命名为LZ11、LZ12;分别对菌株LZ11、LZ12在生长过程中分泌酸性甘露聚糖酶的活力进行跟踪研究后发现,这两株菌
采用顶空固相微萃取-气相色谱-质谱联用技术(HS-SPME-GC-MS)分析新疆产地啤酒花及颗粒花中的挥发性成分。通过优化不同萃取纤维、萃取时间、萃取温度和不同萃取样品量对所鉴
采用响应面分析法优化超声波辅助提取红肉苹果花青苷的提取工艺。以花青苷的含量作为响应值,在单因素试验基础上,根据Box-Behnken中心组合试验设计原理采用4因素3水平的响应
中国航空工业第六一三研究所是隶属于中国航空工业第一集团的国防重点科研单位。主要从事航空武器控制系统的研究、开发、制造,现有自动控制、计算机、光机电一体化、精密机械
线切割机予放及功放电路维修两例1.故障现象:MNC801A线切割控制台接通电源后,不接"进给"键机床X向步进电机手柄自锁分析:如图以AX绕组的予功放电路为例说明(予放级)予、功放电路图(功放级)当"进给"键
介绍了数控线切割机加工弧线曲面的原理及应用前景
The Shiyang River Basin is an area of China that is severly affected by aeolian desertification.Thus,we established an aeolian desertified land classification s
本文介绍了ISO码、EIA码和ASCⅡ码三种数控编码的规律及其相应的程序设计,在实际应用中,通过选用EIA码,实现了穿孔机机械缺陷的软维修。
增加线切割机磁盘文件盘数上海汽车电器厂模具中心严居济目前电加工行业大都上了一个新台阶,线切割大都采用自动编程机,加工零件的源程序或图形语句有成干上万,需要时只要打入零