会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 22. 发明授权
    • 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.
    • 用于验证集成电路设计的增量变化的方法和计算机程序产品包括接收集成电路设计数据库和工程变更顺序作为输入。 集成电路设计数据库中的对象被识别并标记为指示集成电路设计数据库的当前状态。 工程变更单适用于集成电路设计数据库,并对集成电路设计数据库进行分析,以生成由工程变更订单产生的集成电路设计数据库的增量变化清单。 集成电路设计数据库中包含增量变化列表中的对象被识别并标记为区分集成电路设计数据库中与当前状态相对应的对象。 标记的集成电路设计数据库将区分从当前状态改变的对象作为输出生成。
    • 26. 发明授权
    • Verilog to vital translator
    • 重要翻译Verilog
    • US06668359B1
    • 2003-12-23
    • US10003823
    • 2001-10-31
    • Nader FakhryViswanathan Lakshmanan
    • Nader FakhryViswanathan Lakshmanan
    • G06F1750
    • G06F17/5022
    • A method of translating a register transfer level code model includes receiving as inputs a user defined primitives map file, a truth table map file, a gate primitives map file, a register transfer level description file of a library cell, a standard delay format file, and a pin order information file for the register transfer level code model; creating data structures for a VITAL model; parsing at least one of the user defined primitives map file, the truth table map file, the gate primitives map file, the register transfer level description file, and the standard delay format file to generate an equivalent VITAL model in the data structures created for the VITAL model wherein the VITAL model is functionally equivalent to the register transfer level code model; and generating as output a VITAL model file from the data structures created for the VITAL model.
    • 一种翻译寄存器传送级代码模型的方法包括:接收用户定义的基元映射文件,真值表映射文件,门基元映射文件,库单元的寄存器传输级别描述文件,标准延迟格式文件, 以及用于寄存器传送级代码模型的引脚顺序信息文件; 为VITAL模型创建数据结构; 解析用户定义的基元映射文件,真值表映射文件,门基元映射文件,寄存器传输级别描述文件和标准延迟格式文件中的至少一个,以在针对所创建的数据结构中生成等价的VITAL模型 VITAL模型,其中VITAL模型在功能上等同于寄存器传送级代码模型; 并从为VITAL模型创建的数据结构中生成VITAL模型文件作为输出。