会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Verification and debugging using heterogeneous simulation models
    • 使用异构仿真模型进行验证和调试
    • US08868396B1
    • 2014-10-21
    • US12605077
    • 2009-10-23
    • Nabeel ShiraziL. James HwangChi Bun ChanHem C. NeemaKumar Deepak
    • Nabeel ShiraziL. James HwangChi Bun ChanHem C. NeemaKumar Deepak
    • G06F17/50
    • G06F17/5022
    • A method and apparatus for verifying and debugging a circuit design module of a high level programming system is disclosed herein. A circuit design created in a high level programming environment must undergo a number of transformations as it is compiled into a form that can be realized in hardware. At each transformative step, the behavior of the circuit must be verified with a simulation model and debugged if the transformation has changed the behavior of the circuit. The claimed invention presents a novel approach for verifying and debugging between different simulation models and achieves an advance in the art by utilizing the modularized structure of a high-level circuit design to systematically identify simulation mismatches among different simulation models and determine which portions of the circuit design are responsible for the discrepancy.
    • 本文公开了一种用于验证和调试高级编程系统的电路设计模块的方法和装置。 在高级编程环境中创建的电路设计必须经过多次转换,因为它被编译成可以在硬件中实现的形式。 在每个变换步骤中,必须用仿真模型验证电路的行为,并且如果转换改变了电路的行为,则进行调试。 所要求保护的发明提出了一种用于在不同仿真模型之间验证和调试的新方法,并通过利用高级电路设计的模块化结构来实现本领域的进步,以系统地识别不同仿真模型之间的模拟不匹配并确定电路的哪些部分 设计负责的差异。
    • 3. 发明授权
    • Method and apparatus for processing a circuit description for logic simulation
    • 用于处理逻辑仿真的电路描述的方法和装置
    • US07191412B1
    • 2007-03-13
    • US11238432
    • 2005-09-28
    • Wei LinSushama GhanekarJimmy Zhenming WangKumar Deepak
    • Wei LinSushama GhanekarJimmy Zhenming WangKumar Deepak
    • G06F17/50
    • G06F17/5022
    • Method and apparatus for processing a circuit description including a hierarchy of components for logic simulation is described. Each component is described using one of a first hardware description language (HDL) and a second HDL. A root component and each component in the hierarchy below the root component described using an HDL identical to that of the root component is elaborated up to a cross-language boundary. The root component is described using one of the first HDL or the second HDL and each component at the cross-language boundary is described using the other of the first HDL or the second HDL. Each component at the cross-language boundary is stored in one of a first vector associated with the first HDL or a second vector associated with the second HDL based on language. A connection is established between each component at the cross-language boundary and a respective parent component.
    • 描述用于处理包括用于逻辑模拟的组件的层次的电路描述的方法和装置。 使用第一硬件描述语言(HDL)和第二HDL之一描述每个组件。 使用与根组件相同的HDL描述的根组件下的层次结构中的根组件和每个组件被阐述为跨语言边界。 使用第一HDL或第二HDL中的一个描述根组件,并且使用第一HDL或第二HDL中的另一个来描述跨语言边界的每个组件。 跨语言边界的每个组件基于语言存储在与第一HDL相关联的第一向量中的一个或与第二HDL相关联的第二向量中。 在跨语言边界的每个组件和相应的父组件之间建立连接。
    • 6. 发明授权
    • Atomic transaction processing for logic simulation
    • 用于逻辑仿真的原子事务处理
    • US07197445B1
    • 2007-03-27
    • US10389126
    • 2003-03-14
    • Kumar DeepakJimmy Zhenming WangWei Lin
    • Kumar DeepakJimmy Zhenming WangWei Lin
    • G06F17/50G06F17/00G06F9/46G06F9/06G06F9/00
    • G06F17/5022
    • A method (900) of modeling transactions and performing inertial rejection can include representing a plurality of scalar signals as one or more transaction objects, wherein each transaction object comprises a start index, an end index, values for each constituent scalar signal which correspond to an index within a range specified by the start index and end index inclusive, and a time at which the values are transacted. (400) The method further can include constructing and adding a new transaction object for the plurality of scalar signals (920) and comparing the new transaction object with at least one existing transaction object (925) wherein the at least one existing transaction object occurs earlier in time than the new transaction object and is within a rejection window. At least one of a start index and an end index of the at least one existing transaction object can be manipulated (975).
    • 对交易进行建模和执行惯性拒绝的方法(900)可以包括将多个标量信号表示为一个或多个交易对象,其中每个交易对象包括开始索引,结束索引,每个组成标量信号的值对应于 在由起始索引和结束索引(包括)指定的范围内的索引以及值被处理的时间。 (400)该方法还可以包括为多个标量信号(920)构建和添加新的事务对象,并将新的事务对象与至少一个现有的事务对象(925)进行比较,其中至少一个现有的事务对象较早发生 在新的交易对象的时间内,并且在拒绝窗口内。 可以操纵至少一个现有交易对象的开始索引和结束索引中的至少一个(975)。
    • 7. 发明授权
    • Simulation and emulation of a circuit design
    • 电路设计的仿真和仿真
    • US08265918B1
    • 2012-09-11
    • US12579846
    • 2009-10-15
    • Hem C. NeemaChi Bun ChanKumar DeepakNabeel Shirazi
    • Hem C. NeemaChi Bun ChanKumar DeepakNabeel Shirazi
    • G06F17/50
    • G06F17/5027G06F17/5022
    • Co-simulation platforms generally include a software-based system and a hardware-based system in which different portions of the circuit design are either simulated in a software-based system or emulated on a hardware-based system. Before a model of circuit design can be co-simulated, the circuit design must be transformed and configured into a form that can execute and interface with a specific hardware-based system. The embodiments of the present invention provide a method, system, and article of manufacture for co-simulation of a portion of a circuit design and achieve an advance in the art by improving co-simulation configuration and setup and providing co-simulation adjustment capabilities during runtime.
    • 协同仿真平台通常包括基于软件的系统和基于硬件的系统,其中电路设计的不同部分在基于软件的系统中模拟或在基于硬件的系统上仿真。 在电路设计模型可以共同模拟之前,电路设计必须被转换和配置成可以与特定的基于硬件的系统执行和接口的形式。 本发明的实施例提供了一种用于对电路设计的一部分进行协同仿真的方法,系统和制品,并且通过改进协同仿真配置和设置并提供协同仿真调整能力来实现本领域的进步 运行。
    • 9. 发明授权
    • Mixed-language simulation
    • 混合语言模拟
    • US08838431B1
    • 2014-09-16
    • US13027683
    • 2011-02-15
    • Valeria MihalacheHem C. NeemaKumar DeepakSonal Santan
    • Valeria MihalacheHem C. NeemaKumar DeepakSonal Santan
    • G06F17/50
    • G06F17/5022
    • In one embodiment, a method is provided for generating dataflow-driven simulation code of a circuit design described with a combination of first and second HDLs. The circuit description is elaborated and a simulation dataflow graph of the circuit description is generated. Simulation code, configured to model execution of the design in a data-driven manner according to the simulation dataflow graph, is generated from the dataflow graph using a first HDL signal representation having a format compatible with the first HDL and a second HDL signal representation having a format compatible with the second HDL. For each instantiated module of the circuit description at a cross language boundary in the simulation dataflow graph, ports of the instantiated module are mapped to the first HDL signal representation and mapped to the second HDL signal representation.
    • 在一个实施例中,提供了一种用于产生用第一和第二HDL的组合描述的电路设计的数据流驱动的模拟代码的方法。 详细描述电路描述,并生成电路描述的仿真数据流图。 模拟代码,被配置为根据模拟数据流图以数据驱动方式对设计的执行进行建模,使用具有与第一HDL兼容的格式的第一HDL信号表示和具有与第一HDL信号表示相关联的第二HDL信号表示从数据流图生成, 与第二HDL兼容的格式。 对于模拟数据流图中跨越语言边界的电路描述的每个实例化模块,实例化模块的端口映射到第一HDL信号表示并映射到第二HDL信号表示。
    • 10. 发明授权
    • Scheduling processes in simulation of a circuit design
    • 电路设计仿真中的调度过程
    • US08495539B1
    • 2013-07-23
    • US13347301
    • 2012-01-10
    • Valeria MihalacheKumar DeepakHem C. NeemaSonal Santan
    • Valeria MihalacheKumar DeepakHem C. NeemaSonal Santan
    • G06F17/50
    • G06F17/5022
    • A method for compiling an HDL specification for simulation includes elaborating the HDL specification and determining singly-driven and multiply-driven nets of the elaborated circuit design. For each singly-driven net, a respective memory location is assigned to store a value of a corresponding driver of the net at runtime. For each multiply-driven net, a contiguous block of memory is assigned to store values of corresponding drivers of the net at runtime. For mixed language designs, this contiguous block contains values for drivers from all HDL languages involved. Simulation code that models the circuit design is generated. For each singly-driven net, the simulation code is configured to store a value of the corresponding driver of the singly-driven net in the respective memory location. For each multiply-driven net, the simulation code is configured to store the values of the corresponding drivers in the assigned block of memory. The generated simulation code is stored.
    • 用于编译用于模拟的HDL规范的方法包括详细描述HDL规范并确定精心制作的电路设计的单驱动和多驱动网络。 对于每个单独驱动的网络,分配相应的存储器位置以在运行时存储网络的相应驱动器的值。 对于每个乘法驱动的网络,分配连续的内存块以在运行时存储网络的相应驱动程序的值。 对于混合语言设计,此连续块包含所有涉及的所有HDL语言的驱动程序的值。 生成模拟电路设计的仿真代码。 对于每个单驱动网络,模拟代码被配置为将单驱动网络的相应驱动器的值存储在相应的存储器位置中。 对于每个乘法驱动网络,模拟代码被配置为将相应驱动程序的值存储在指定的存储块中。 生成的模拟代码被存储。