[发明专利]通过轨迹包含来减小时序网表的方法和系统有效
| 申请号： | 201010126154.7 | 申请日： | 2010-02-25 |
| 公开（公告）号： | CN101814101A | 公开（公告）日： | 2010-08-25 |
| 发明（设计）人： | 贾森·R·鲍姆加特纳;罗伯特·L·坎泽尔曼;哈利·莫尼;弗里什·帕鲁蒂 | 申请（专利权）人： | 国际商业机器公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京市柳沈律师事务所 11105 | 代理人： | 黄小临 |
| 地址： | 美国纽*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 提供了通过针对电路设计网表的轨迹包含来减小时序网表的方法和系统，这通过首先标识该网表的切割并枚举不匹配轨迹的集合。对反映用于特定输入i的时序余因子和用于输入“J”的集合的时间上非相关性的约束的、该切割的余因子版本执行时间受限的展开。在对输入“J”的集合的时间上非相关性的约束下，通过相对于该网表的该切割来执行等价检查来确定是否存在轨迹包含。响应于检测到轨迹包含，通过将输入“i”合并到常数来简化该网表。 | ||
| 搜索关键词： | 通过 轨迹 包含 减小 时序 方法 系统 | ||
【主权项】：
一种通过执行被装载到计算机系统中的指令来标识时序电路设计网表的轨迹包含的方法，所述方法包括：通过执行所述指令，标识包括输入i的网表的切割；通过执行所述指令，枚举不匹配轨迹的集合；通过执行所述指令，从所述不匹配轨迹得到输入“J”的集合用于等价检查以检测轨迹包含；通过执行所述指令，对反映用于输入i的时序余因子和用于输入“J”的集合的时间上非相关性的约束的、该切割的余因子版本执行时间受限的展开；通过执行所述指令，确定是否存在轨迹包含；响应于检测到轨迹包含，识别对所述输入“J”的集合的约束关系；以及通过执行所述指令，试图证明经受所述约束关系的所述切割的时序等价。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国际商业机器公司，未经国际商业机器公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010126154.7/，转载请声明来源钻瓜专利网。
- 上一篇：具有缠绕磁芯的磁回路器件及其制造方法
- 下一篇：内部通风式盘式制动器
