会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明申请
    • Method and computer program for verifying an incremental change to an integrated circuit design
    • 用于验证集成电路设计的增量变化的方法和计算机程序
    • US20050235234A1
    • 2005-10-20
    • US10828408
    • 2004-04-19
    • Viswanathan LakshmananRichard BlinneJonathan Kuppinger
    • Viswanathan LakshmananRichard BlinneJonathan Kuppinger
    • G06F17/50
    • G06F17/5022G06F17/5045
    • A method and computer program product for verifying an incremental change to an integrated circuit design are described that include steps of: (a) receiving as input an integrated circuit design database; (b) receiving as input an engineering change order; (c) identifying and marking objects in the integrated circuit design database to indicate a current state of the integrated circuit design database; (d) applying the engineering change order to the integrated circuit design database; (e) analyzing the integrated circuit design database to generate a list of incremental changes to the integrated circuit design database resulting from the engineering change order; (f) identifying and marking objects in the integrated circuit design database included in the list of incremental changes to distinguish objects in the integrated circuit design database that were changed from the current state; and (g) streaming out the integrated circuit design database.
    • 描述了用于验证集成电路设计的增量变化的方法和计算机程序产品,其包括以下步骤:(a)作为输入接收集成电路设计数据库; (b)接收工程变更单作为输入; (c)识别和标记集成电路设计数据库中的对象,以指示集成电路设计数据库的当前状态; (d)将工程变更单应用于集成电路设计数据库; (e)分析集成电路设计数据库,以生成由工程变更订单产生的对集成电路设计数据库的增量变化的列表; (f)识别和标记增量变化列表中集成电路设计数据库中的对象,以区分从当前状态改变的集成电路设计数据库中的对象; 和(g)流出集成电路设计数据库。
    • 3. 发明申请
    • Method of partitioning an integrated circuit design for physical design verification
    • 分离用于物理设计验证的集成电路设计的方法
    • US20050097488A1
    • 2005-05-05
    • US10697357
    • 2003-10-29
    • Viswanathan LakshmananRichard BlinneJonathan Kuppinger
    • Viswanathan LakshmananRichard BlinneJonathan Kuppinger
    • G06F9/45G06F17/50
    • G06F17/5081
    • A method of partitioning an integrated circuit design for physical design verification includes steps of: (a) receiving as input a representation of an integrated circuit design having a number of physical design layers; (b) receiving as input a composite run deck specifying rule checks to be performed on the integrated circuit design; (c) partitioning the composite run deck into partitioned run decks so that the number of physical design layers referenced by each of the partitioned run decks is a minimum; (d) parsing the representation of the integrated circuit design to filter only the physical design layers required for each of the partitioned run decks into a filtered data deck for each of the partitioned run decks; and (e) generating as output the filtered data deck for each of the partitioned run decks.
    • 对用于物理设计验证的集成电路设计进行分区的方法包括以下步骤:(a)作为输入接收具有多个物理设计层的集成电路设计的表示; (b)作为输入接收要在集成电路设计上执行的规则检查的复合运行平台; (c)将复合运行甲板划分为分区运行甲板,使得由每个分区运行甲板引用的物理设计层的数量是最小的; (d)解析集成电路设计的表示,以仅将每个分区运行平台所需的物理设计层过滤成用于每个分区运行平台的过滤数据卡; 和(e)生成用于每个分区运行平台的经过滤数据卡的输出。
    • 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)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,有效的错误文件包含多个有效的错误,包括系统错误的子集。