专利查询
首页
专利评估
登录
注册
当前位置:
首页
>
专利查询
>
西北工业大学
>
一种RTL硬件木马测试向量的生成方法技术
>技术资料下载
下载一种RTL硬件木马测试向量的生成方法的技术资料
文档序号:16604130
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种RTL硬件木马测试向量的生成方法,主要包括生成控制流程图;并发符号执行;可满足性求解和生成测试向量。本发明采用静态分析Veri log代码的方法,采用多线程并发技术实现Veri log代码的并发符号执行,从而达到快速生成高路...
该专利属于西北工业大学所有,仅供学习研究参考,未经过西北工业大学授权不得商用。
详细技术文档下载地址
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。