[发明专利]寄存器传输级Verilog设计的安全验证属性自动提取方法在审
| 申请号： | 202010362018.1 | 申请日： | 2020-04-30 |
| 公开（公告）号： | CN111626009A | 公开（公告）日： | 2020-09-04 |
| 发明（设计）人： | 沈利香;慕德俊;曹国;时翔;徐强;袁晓宇;陆浩 | 申请（专利权）人： | 常州工学院 |
| 主分类号： | G06F30/3308 | 分类号： | G06F30/3308 |
| 代理公司： | 常州佰业腾飞专利代理事务所(普通合伙) 32231 | 代理人： | 姜晓钰 |
| 地址： | 213032 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种寄存器传输级Verilog设计的安全验证属性自动提取方法，包括：Verilog实例化树步骤，采用静态分析Verilog设计的方法得到实例化树，树中的每个节点代表一个模块的控制流图；Daikon生成不变量属性步骤，遍历控制流图，生成Daikon的输入文件，包括声明文件、追踪文件和条件分离文件，然后利用Daikon生成不变量属性；安全验证属性步骤，依据生成的不变量属性文件，将其中的不变量属性的语法格式转换为安全验证属性；对Verilog设计进行模型检测验证，发现硬件设计安全漏洞。本发明可以实现自动化提取安全验证属性，大大提高了安全验证效率；可以为硬件安全验证提供有力的支撑。 | ||
| 搜索关键词： | 寄存器 传输 verilog 设计 安全 验证 属性 自动 提取 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于常州工学院，未经常州工学院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010362018.1/，转载请声明来源钻瓜专利网。
