一种消费优惠券的推入及使用方法和装置发明专利
申请号：cn201010511178.4
loc分类号:g06q30/00
ipc结构图谱：
凯发k8国际
搜索
一种寄存器传输级可观测性覆盖分析与激励生成方法专利查询|发明专利查询-凯发k8国际
发明专利有效专利
- 申请号：cn200510056344.5
- ipc分类号：
- 申请日期：2005-03-18
- 申请人：中国科学院计算技术研究所
著录项信息
| 专利名称 | |||
| 申请号 | cn200510056344.5 | 申请日期 | 2005-03-18 |
| 法律状态 | 暂无 | 申报国家 | 中国 |
| 公开/公告日 | 2005-10-26 | 公开/公告号 | cn1688022 |
| 优先权 | 暂无 | 优先权号 | 暂无 |
| 主分类号 |
?
| ipc分类号 | 查看分类表> |
| 申请人 | 申请人地址 |
变更
专利地址、主体等相关变化，请及时变更，防止失效 | |
| 权利人 | 中国科学院计算技术研究所 | 当前权利人 | |
| 发明人 | 鲁巍;李晓维 | ||
| 代理机构 | 代理人 | 段成云 | |
摘要
本发明涉及集成电路设计验证领域，特别是一种寄存器传输级可观测性覆盖分析与激励生成方法。通过增强型进程控制树、控制-观测链等数据模型表征可观测性信息，在此基础上，通过对设计电路动态执行过程中，每个观测点的控制-观测链的确定与回退，分析语句与变量的可观测性，得到可观测性语句覆盖率，并且利用得到的可观测性信息指导激励生成。本发明解决了目前已有的可观测性覆盖评估方法复杂度高以及在激励生成过程中不考虑可观测性的问题。生成。本发明可用于在模拟过程中计算代码的可观测性语句覆盖率，进而更确切地评估验证的力度，也可以用于在激励生成过程中以可观测性覆盖信息为指导，提高激励的质量。
我浏览过的专利
专利服务由北京酷爱智慧知识产权代理公司提供
