[发明专利]基于桶的跟踪算法有效
| 申请号： | 200610088920.9 | 申请日： | 2006-07-26 |
| 公开（公告）号： | CN101114306A | 公开（公告）日： | 2008-01-30 |
| 发明（设计）人： | 李志梁;李剑宇;李桢荣;侯劲松;苏毅 | 申请（专利权）人： | 北京中电华大电子设计有限责任公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 10001*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 基于 跟踪 算法 | ||
1.一种基于桶的跟踪算法，其特征在于包括以下步骤：①调用初始划分算法生成初始桶集； ②从初始桶集中取出一个桶开始局部划分：若有未用且不包含错误的桶，则从这些桶出 发调用BucketTraceWithoutError算法进行划分；若无未用且不包含错误的桶，但有未用 且包含错误的桶，则从这些桶出发调用BucketTraceWithError算法进行划分；重复执行② 直至初始桶集为空。
2.根据权利要求1所述的BucketTraceWithoutError算法：即在做桶跟踪时不引入错误，其 特征在于：①从Net桶出发跟踪，按Instance的类型和签名值相等的原则分组生成新 的桶或细化Instance桶；若跟踪时遇到了错误(即不一致之处)，则按Instance的类型 相等的原则分组生成包含错误的Instance桶(初始划分决定了仅从Net出发跟踪到 Instance时才可能遇到错误)；②从Instance桶出发跟踪，按Net的度和签名值相等的 原则分组生成新的桶或细化Net桶；重复①和②直至无新的Net桶和Instance桶产 生为止。
3.根据权利要求1所述的BucketTraceWithError算法：即在做桶跟踪时引入错误，其特征在 于：①从包含错误的Net桶出发跟踪细化Instance桶和包含错误的Instance桶；②从 包含错误的Instance桶出发跟踪细化Net桶和包含错误的Net桶；重复①和②直至 无新的包含错误的Net桶和包含错误的Instance桶产生或得到匹配点为止。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京中电华大电子设计有限责任公司，未经北京中电华大电子设计有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/200610088920.9/1.html，转载请声明来源钻瓜专利网。
