[发明专利]一种检测时序约束冲突的方法和装置有效
| 申请号： | 200910136969.0 | 申请日： | 2009-04-30 |
| 公开（公告）号： | CN101877014A | 公开（公告）日： | 2010-11-03 |
| 发明（设计）人： | 浦索明;宋红花;戴红卫 | 申请（专利权）人： | 国际商业机器公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京市中咨律师事务所 11247 | 代理人： | 于静;杨晓光 |
| 地址： | 美国*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种检测时序约束冲突的方法和装置，该方法包括：接收时序约束文件；将时序约束文件中的全部测试点作为节点，根据时序约束文件中测试点相关的时序约束确定节点间的有向边及该有向边的权重，建立一个有向图；搜索所述有向图的全部有向圈；对于每个有向圈，如果组成该有向圈的有向边的权重之和满足要求的条件，则确定组成该有向圈的测试点和时序约束存在时序约束冲突。该方法和装置能够自动100％检测时序约束冲突的方法来减少ASIC项目中的设计迭代周期和工程师资源。 | ||
| 搜索关键词： | 一种 检测 时序 约束 冲突 方法 装置 | ||
【主权项】：
一种检测时序约束冲突的方法，包括：接收时序约束文件；将时序约束文件中的全部测试点作为节点，根据时序约束文件中测试点相关的时序约束确定节点间的有向边及该有向边的权重，建立一个有向图；搜索所述有向图的全部有向圈；对于每个有向圈，如果组成该有向圈的有向边的权重之和满足要求的条件，则确定组成该有向圈的测试点和时序约束存在时序约束冲突。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国际商业机器公司，未经国际商业机器公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910136969.0/，转载请声明来源钻瓜专利网。
- 上一篇：驾驶人注意力状态监测方法和装置
- 下一篇：一种实现数据编辑的方法和系统
