会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • 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)流出集成电路设计数据库。
    • 6. 发明申请
    • 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)生成用于每个分区运行平台的经过滤数据卡的输出。