会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • Method to reduce power consumption of a register file with multi SMT support
    • 减少具有多个SMT支持的寄存器文件功耗的方法
    • US08046566B2
    • 2011-10-25
    • US12120958
    • 2008-05-15
    • Christopher M. AbernathyJens LeenstraNicolas MaedingDung Quoc Nguyen
    • Christopher M. AbernathyJens LeenstraNicolas MaedingDung Quoc Nguyen
    • G06F9/50G06F1/32
    • G06F1/3203
    • A method for reducing the power consumption of a register file of a microprocessor supporting simultaneous multithreading (SMT) is disclosed. Mapping logic and associated table entries monitor a total number of processing threads currently executing in the processor and signal control logic to disable specific register file entries not required for currently executing or pending instruction threads or register file entries not meeting a minimum access threshold using a least recently used algorithm (LRU). The register file utilization is controlled such that a register file address range selected for deactivation is not assigned for pending or future instruction threads. One or more power saving techniques are then applied to disabled register files to reduce overall power dissipation in the system.
    • 公开了一种降低支持同时多线程(SMT)的微处理器的寄存器堆的功耗的方法。 映射逻辑和关联的表条目监视当前在处理器和信号控制逻辑中执行的处理线程的总数,以禁用当前执行或挂起的指令线程所不需要的特定寄存器文件条目或使用最少的不满足最小访问阈值的寄存器文件条目 最近使用的算法(LRU)。 控制寄存器文件利用率,使得为未停用或将来的指令线程未分配选择用于去激活的寄存器文件地址范围。 然后将一种或多种省电技术应用于禁用的寄存器文件,以减少系统中的总体功耗。
    • 8. 发明授权
    • Method and system for verifying the equivalence of digital circuits
    • 用于验证数字电路等效性的方法和系统
    • US07890901B2
    • 2011-02-15
    • US11684899
    • 2007-03-12
    • Tobias GemmekeJens LeenstraNicolas MaedingHari Mony
    • Tobias GemmekeJens LeenstraNicolas MaedingHari Mony
    • G06F17/50G06F9/45
    • G06F17/504
    • The automatic verification of designs of digital circuits for their equivalence, wherein logic designs implemented in different hardware description languages (HDLs) and different design methodologies are compared. The designs (Code A, Code B) are modified by adding special wrappers (Wrapper A, Wrapper B), and used to equalize the timing of pairs of selected input signals and selected output signals of the logic designs. The wrappers drive certain signals of the designs that are not relevant for actual comparison, such signals including clock signals, clock control signals, scan-path signals, scan-path control signals, and reset signals. In a preferred embodiment, HDL descriptions of logic designs are analyzed. Based on this analysis, the wrappers are implemented as changes to the HDL descriptions. In another embodiment, RTL and/or gate-level netlists are analyzed and modified.
    • 比较了数字电路的等效设计的自动验证,其中以不同的硬件描述语言(HDL)实现的逻辑设计和不同的设计方法进行了比较。 通过添加特殊包装器(Wrapper A,Wrapper B)来修改设计(代码A,代码B),并用于均衡所选输入信号对的时序和逻辑设计的选定输出信号。 封装器驱动与实际比较无关的设计的某些信号,包括时钟信号,时钟控制信号,扫描路径信号,扫描路径控制信号和复位信号等信号。 在优选实施例中,分析逻辑设计的HDL描述。 基于这种分析,包装器被实现为对HDL描述的改变。 在另一个实施例中,分析和修改RTL和/或门级网表。
    • 10. 发明申请
    • METHOD AND SYSTEM FOR VERIFYING THE EQUIVALENCE OF DIGITAL CIRCUITS
    • 用于验证数字电路等效性的方法和系统
    • US20070226664A1
    • 2007-09-27
    • US11684899
    • 2007-03-12
    • Tobias GemmekeJens LeenstraNicolas MaedingHari Mony
    • Tobias GemmekeJens LeenstraNicolas MaedingHari Mony
    • G06F17/50
    • G06F17/504
    • The automatic verification of designs of digital circuits for their equivalence, wherein logic designs implemented in different hardware description languages (HDLs) and different design methodologies are compared. The designs (Code A, Code B) are modified by adding special wrappers (Wrapper A, Wrapper B), and used to equalize the timing of pairs of selected input signals and selected output signals of the logic designs. The wrappers drive certain signals of the designs that are not relevant for actual comparison, such signals including clock signals, clock control signals, scan-path signals, scan-path control signals, and reset signals. In a preferred embodiment, HDL descriptions of logic designs are analyzed. Based on this analysis, the wrappers are implemented as changes to the HDL descriptions. In another embodiment, RTL and/or gate-level netlists are analyzed and modified.
    • 比较了数字电路的等效设计的自动验证,其中以不同的硬件描述语言(HDL)实现的逻辑设计和不同的设计方法进行了比较。 通过添加特殊包装器(Wrapper A,Wrapper B)来修改设计(代码A,代码B),并用于均衡所选输入信号对的时序和逻辑设计的选定输出信号。 封装器驱动与实际比较无关的设计的某些信号,包括时钟信号,时钟控制信号,扫描路径信号,扫描路径控制信号和复位信号等信号。 在优选实施例中,分析逻辑设计的HDL描述。 基于这种分析,包装器被实现为对HDL描述的改变。 在另一个实施例中,分析和修改RTL和/或门级网表。