使用可达性过度逼近进行验证的方法和系统
专利权的终止
摘要
本发明公开了一种用于验证设计符合所需特性的方法、系统和计算机程序产品。该方法包括接收设计、所述设计的第一初始状态以及与所述设计相关的要验证的特性。扩展所述设计的第一初始状态以创建所述第一初始状态的超集，该超集包含从所述设计的所述第一初始状态可达的一个或多个状态。合成超集以定义所述设计的第二初始状态。通过将切割点插入到所述超集来过度逼近针对所述设计的所述超集的应用，以获得修改的超集，然后参考所述修改的超集验证所述特性。
基本信息
专利标题 ：
使用可达性过度逼近进行验证的方法和系统
专利标题（英）：
暂无
公开（公告）号 ：
CN1828612A
申请号 ：
CN200510124687.0
公开（公告）日 ：
2006-09-06
申请日 ：
2005-11-14
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
贾森·R.·伯姆加特纳哈里·默尼维里施·帕鲁斯徐佳肇
申请人 ：
国际商业机器公司
申请人地址 ：
美国纽约
代理机构 ：
中国国际贸易促进委员会专利商标事务所
代理人 ：
李颖
优先权 ：
CN200510124687.0
主分类号 ：
G06F17/50
IPC分类号 ：
G06F17/50
法律状态
2018-01-05 ：
专利权的终止
未缴年费专利权终止IPC(主分类) : G06F 17/50
申请日 : 20051114
授权公告日 : 20090624
终止日期 : 20161114
申请日 : 20051114
授权公告日 : 20090624
终止日期 : 20161114
2009-06-24 ：
授权
2006-10-25 ：
实质审查的生效
2006-09-06 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
