[发明专利]一种IP核安全路径选取与切断方法在审
申请号: | 202010289249.4 | 申请日: | 2020-04-14 |
公开(公告)号: | CN111427799A | 公开(公告)日: | 2020-07-17 |
发明(设计)人: | 李东方;沈炜;赵霞 | 申请(专利权)人: | 北京计算机技术及应用研究所 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 中国兵器工业集团公司专利中心 11011 | 代理人: | 张然 |
地址: | 100854*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种IP核安全路径选取与切断方法,其中,包括:步骤1:对待测IP核代码进行信息流处理,为每一个信号添加污迹标签;步骤2:将起点DI的污迹标记位DIt始终约束为高;步骤3:切断起点DI的所有驱动信号;步骤4:判断起点DI的污迹标记位DIt是否为高,如果起点DI为低则起点DI与终点DO之间不存在数据路径,转步骤7,如果为高则进行步骤5;步骤5:判断路径(DI,A,DO)的节点A的标记位At是否为高,如果标记位At为低,则起点DI与起点DO之间存在数据路径,但不存在路径(DI,A,DO),转步骤7,如果为高则进行步骤6;步骤6:寻找除路径(DI,A,DO)之外其他存在的路径,约束所选路径的信号污迹标签始终为低;步骤7:结束。本发明对IP核的数据路径进行约束处理,提高了验证的精确性、降低误报率,有很高的市场价值。 | ||
搜索关键词: | 一种 ip 安全 路径 选取 切断 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京计算机技术及应用研究所,未经北京计算机技术及应用研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202010289249.4/,转载请声明来源钻瓜专利网。
- 上一篇:一种显示面板及其制作方法
- 下一篇:高抗风尾椎式系留无人机及其飞行控制方法