会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明授权
    • Method and computer program for verifying an incremental change to an integrated circuit design
    • 用于验证集成电路设计的增量变化的方法和计算机程序
    • US07219317B2
    • 2007-05-15
    • US10828408
    • 2004-04-19
    • Viswanathan LakshmananRichard D. BlinneJonathan P. Kuppinger
    • Viswanathan LakshmananRichard D. BlinneJonathan P. Kuppinger
    • G06F17/50
    • G06F17/5022G06F17/5045
    • A method and computer program product for verifying an incremental change to an integrated circuit design include receiving as input an integrated circuit design database and an engineering change order. Objects in the integrated circuit design database are identified and marked to indicate a current state of the integrated circuit design database. The engineering change order is applied to the integrated circuit design database, and the integrated circuit design database is analyzed to generate a list of incremental changes to the integrated circuit design database resulting from the engineering change order. Objects in the integrated circuit design database included in the list of incremental changes are identified and marked to distinguish objects in the integrated circuit design database that were changed from the current state. The marked integrated circuit design database distinguishing the objects that were changed from the current state is generated as output.
    • 用于验证集成电路设计的增量变化的方法和计算机程序产品包括接收集成电路设计数据库和工程变更顺序作为输入。 集成电路设计数据库中的对象被识别并标记为指示集成电路设计数据库的当前状态。 工程变更单适用于集成电路设计数据库,并对集成电路设计数据库进行分析,以生成由工程变更订单产生的集成电路设计数据库的增量变化清单。 集成电路设计数据库中包含增量变化列表中的对象被识别并标记为区分集成电路设计数据库中与当前状态相对应的对象。 标记的集成电路设计数据库将区分从当前状态改变的对象作为输出生成。
    • 8. 发明授权
    • Waiver mechanism for physical verification of system designs
    • 系统设计物理验证豁免机制
    • US08046726B2
    • 2011-10-25
    • US12211238
    • 2008-09-16
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • G06F17/50G06F9/455
    • G06F17/5081
    • A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs and (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors.
    • 公开了一种放弃验证失败的方法。 该方法通常包括以下步骤:(A)通过在多个电路设计上执行多个物理验证来产生多个电路错误文件,所述电路错误文件包含电路设计的多个电路错误,(B)产生 系统错误文件通过在系统设计上执行附加物理验证,系统错误文件包含系统设计的多个系统错误,包含电路设计的系统设计,以及(C)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,有效的错误文件包含多个有效的错误,包括系统错误的子集。
    • 10. 发明申请
    • WAIVER MECHANISM FOR PHYSICAL VERIFICATION OF SYSTEM DESIGNS
    • 系统设计物理验证的豁免机制
    • US20100070936A1
    • 2010-03-18
    • US12211238
    • 2008-09-16
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • G06F17/50
    • G06F17/5081
    • A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs, (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors and (D) storing the valid error file in a recording medium.
    • 公开了一种放弃验证失败的方法。 该方法通常包括以下步骤:(A)通过在多个电路设计上执行多个物理验证来产生多个电路错误文件,所述电路错误文件包含电路设计的多个电路错误,(B)产生 系统错误文件,通过对系统设计进行附加物理验证,系统错误文件包含系统设计的多个系统错误,包含电路设计的系统设计,(C)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,包含多个有效错误的有效错误文件,包括系统错误的子集,以及(D)将有效的错误文件存储在记录介质中。