龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：西安工业大学
摘要：本发明公开了一种寄存器传输级Verilog设计的安全断言自动生成方法，包括以下步骤：S1.利用仿真工具执行待测设计得到lst以及dot文件，lst文件包含仿真数据，dot文件包含电路的结构和连接信息；S2.利用lst文件中的仿真数据统计出信号的反转率，采用动态阈值的方法筛选得到低翻转信号；S3.构建依赖信号集合：将低翻转信号作为目标节点，对dot文件中的电路结构进行扇区划分得到电路扇区；对电路扇区进行有向图建模来构建信号依赖图；遍历信号依赖图得到排序后的依赖信号集合；利用lst文件和依赖信号集合，进行数据控掘工作，构建出决策树，遍历决策树得到安全断言。本发明能够自动产生安全验证的断言，从而显著提升了安全验证的效率，确保设计的安全可靠。
主权项：1.一种寄存器传输级Verilog设计的安全断言自动生成方法，其特征在于，包括以下步骤：步骤一、利用仿真工具执行待测设计得到lst以及dot文件：所述lst文件包含仿真数据，dot文件包含电路的结构和连接信息；步骤二、筛选低翻转信号：利用lst文件中的仿真数据统计出信号的翻转率，采用动态阈值方法筛选得到低翻转信号；步骤三、构建依赖信号集合：3.1将低翻转信号作为目标节点，对dot文件中的电路结构进行扇区划分得到电路扇区，3.2对电路扇区进行有向图建模来构建信号依赖图，3.3遍历信号依赖图得到排序后的依赖信号集合；步骤四、数据挖掘：利用lst文件和依赖信号集合，进行数据控掘工作，构建出决策树，遍历决策树，每一条到达叶子节点的路径都构成一条安全断言。
全文数据：
权利要求：
百度查询： 西安工业大学 一种寄存器传输级Verilog设计的安全断言自动生成方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号