基于增强型的参数化引用定值链的可观测性覆盖评估方法

发明专利无效专利

申请号：
CN03147260.5
IPC分类号：--
申请日期：
2003-07-11
申请人：
中国科学院计算技术研究所

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	基于增强型的参数化引用定值链的可观测性覆盖评估方法
申请号	CN03147260.5	申请日期	2003-07-11
法律状态	驳回	申报国家	中国
公开/公告日	2004-05-05	公开/公告号	CN1494122
优先权	暂无	优先权号	暂无
主分类号	暂无	IPC分类号	暂无查看分类表>
申请人	中国科学院计算技术研究所	申请人地址	北京市中关村科学院南路6号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	中国科学院计算技术研究所	当前权利人	中国科学院计算技术研究所
发明人	吕涛;李晓维;樊建平
代理机构	中科专利商标代理有限责任公司	代理人	周国城

摘要

本发明涉及超大规模集成电路的设计验证技术领域，特别是一种基于增强型FUD链的可观测性覆盖评估方法，该方法通过添加“动态分支”域扩充了FUD链的功能，使之能够记录程序动态执行轨迹，并利用此增强型FUD链表征硬件设计方案的可观测性信息，进而评估模拟验证的可观测性覆盖率。该方法的基本策略包括三方面：(1)使用增强型FUD链表征可观测性信息；(2)事件驱动分析；(3)与可控制性覆盖准则结合的可观测性覆盖率计算方法。本发明所提出的方法可以与现有多种可控制性覆盖准则相结合，使得可控制性与可观测性的覆盖情况可以联合评估，从而提高覆盖准则的评估能力。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
1	CN104536878A	2014-11-28	2014-11-28	一种验证并发程序中违反原子性错误是否被正确修复的方法失效专利	南京大学;江苏苏测软件检测技术有限公司
2	CN1319150C	2005-03-18	2005-03-18	一种寄存器传输级可观测性覆盖分析与激励生成方法有效专利	中国科学院计算技术研究所
3	CN100370465C	2004-09-04	2004-09-04	一种自动调度逻辑仿真与代码覆盖率分析的方法与系统失效专利	华为技术有限公司
4	CN104536878B	2014-11-28	2014-11-28	一种验证并发程序中违反原子性错误是否被正确修复的方法失效专利	南京大学;江苏苏测软件检测技术有限公司

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供