龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：成都迪真计算机科技有限公司
摘要：本发明公开了一种基于形式化验证的FPGA缺陷检查方法，该方法首先载入Verilog和VHDL代码文件，通过语法语义分析，生成语法树，进行逻辑优化和综合，扫描设计并插入断言，基于形式化验证方法进行缺陷检查，并生成检测结果。本发明可用于实现一款基于形式化验证的FPGA缺陷检查软件，支持对Xilinx\Altera\Lattice\Actel芯片中的RTL代码进行全面深入的缺陷检查。基于形式化验证方法的检查对于静态检查拥有更严格的数学证明、更具体的检查结果、可复现验证的缺陷路径。
主权项：1.一种基于形式化验证的FPGA缺陷检查方法，其特征在于，该方法包括以下步骤：S1.载入代码文件，其中，所述代码文件为Verilog和VHDL；S2.对所述代码文件进行语法分析，生成语法树；并对所述语法树进行优化，扫描所述语法树并插入断言；所述S2中，先将所述代码文件进行词法分析，再利用词法分析生成的token符号进行语法分析，生成原始抽象语法树；再对所述原始抽象语法树进行优化，其中，将原始抽象语法树中包括的无用信号和器件进行清理，得到优化后的抽象语法树；根据所述优化后的抽象语法树生成中间语言；S3.生成中间语言，扫描所述中间语言并插入断言信息；所述生成中间语言过程中，根据断言信息识别出的检查点插入相应断言信息；所述插入断言信息的方法包括，对除零检查的插入断言；扫描到语法树中的BLOCK3语句块下存包括的一个除法c=a÷b；分析出除数为b，随即生成一个除数不为零的断言assertb!=0；再将其插入到BLOCK3语句块下；S4.扫描所述断言信息，生成检查项列表；S5.动态规划调度运行检查任务，并生成对应任务输入数据、收集任务结果；S6.根据任务属性生成运算输入数据，进行检查项分析求解运算，生成结果和波形序列文件。
全文数据：
权利要求：
百度查询： 成都迪真计算机科技有限公司 一种基于形式化验证的FPGA缺陷检查方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号