首页> 中国专利> 一种检测时序约束冲突的方法和装置

一种检测时序约束冲突的方法和装置

摘要

本发明公开了一种检测时序约束冲突的方法和装置,该方法包括:接收时序约束文件;将时序约束文件中的全部测试点作为节点,根据时序约束文件中测试点相关的时序约束确定节点间的有向边及该有向边的权重,建立一个有向图;搜索所述有向图的全部有向圈;对于每个有向圈,如果组成该有向圈的有向边的权重之和满足要求的条件,则确定组成该有向圈的测试点和时序约束存在时序约束冲突。该方法和装置能够自动100%检测时序约束冲突的方法来减少ASIC项目中的设计迭代周期和工程师资源。

著录项

  • 公开/公告号CN101877014A

    专利类型发明专利

  • 公开/公告日2010-11-03

    原文格式PDF

  • 申请/专利权人 国际商业机器公司;

    申请/专利号CN200910136969.0

  • 发明设计人 浦索明;宋红花;戴红卫;

    申请日2009-04-30

  • 分类号G06F17/50(20060101);

  • 代理机构11247 北京市中咨律师事务所;

  • 代理人于静;杨晓光

  • 地址 美国纽约

  • 入库时间 2023-12-18 00:56:43

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2017-11-24

    专利权的转移 IPC(主分类):G06F17/50 登记生效日:20171103 变更前: 变更后: 申请日:20090430

    专利申请权、专利权的转移

  • 2012-07-25

    授权

    授权

  • 2010-12-15

    实质审查的生效 IPC(主分类):G06F17/50 申请日:20090430

    实质审查的生效

  • 2010-11-03

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号