首页> 中国专利> 一种基于形式化验证快速收敛覆盖率的验证方法及装置

一种基于形式化验证快速收敛覆盖率的验证方法及装置

页面导航

摘要
著录项
相似文献

摘要

本申请提供一种基于形式化验证快速收敛覆盖率的验证方法及装置，DUT为amba总线的协议转换模块，如AHB2APB模块、AXI2AHB模块或AXI2APB模块等。针对能够覆盖的DUT行为，利用形式化仿真器穷举输入信号的行为并生成测试激励，基于统一覆盖率的验证结果分析，如果验证结果达不到要求，将结果反馈给验证计划，使得验证平台更容易建立、覆盖率更容易收敛，通过形式化验证避免了在验证至覆盖率较高后的验证效率降低，缩短了覆盖率收敛时间，提高了验证效率。

著录项

公开/公告号CN113886319A

专利类型发明专利
公开/公告日2022-01-04

原文格式PDF
申请/专利权人北京爱芯科技有限公司;
展开▼

申请/专利号CN202111177873.6
发明设计人索健;王正;
展开▼

申请日2021-10-09
分类号G06F13/42(20060101);G06F13/38(20060101);
代理机构11463 北京超凡宏宇专利代理事务所(特殊普通合伙);
代理人唐正瑜
地址 100082 北京市海淀区中关村大街1号16层1605
入库时间 2023-06-19 13:32:21

相似文献

专利
中文文献
外文文献

1. 一种基于形式化验证快速收敛覆盖率的验证方法及装置 [P] . 中国专利： CN113886319A . 2022-01-04
2. 一种缩短芯片代码覆盖率收敛时间的验证方法及装置 [P] . 中国专利： CN113342669A . 2021-09-03
3. USER VERIFICATION METHOD AND DEVICE BASED ON BANK CARD QUICK PAY SUBSCRIPTION [P] . 世界知识产权组织专利： WO2020207081A1 . 2020-10-15

机译：基于银行卡快速支付订阅的用户验证方法及装置
4. A METHOD AND APPARATUS FOR FAST DECODING A LINEAR CODE BASED ON BIT MATCHING [P] . KR102269322B1 . 2021-06-24

机译：一种用于快速解码基于位匹配的线性码的方法和装置
5. Method of quick determination of an organ state based on detection one or more isoenzymes of glutathione S-transferase and apparatus for making the same [P] . CZ287467B6 . 2000-12-13

机译：基于检测谷胱甘肽S-转移酶的一种或多种同功酶快速确定器官状态的方法及其制备装置