会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Automated management of verification waivers
    • 自动管理验证豁免
    • US08495542B2
    • 2013-07-23
    • US13234952
    • 2011-09-16
    • Gero Dittmann
    • Gero Dittmann
    • G06F17/50
    • G06F17/5081G06F17/504
    • Automated management of verification waivers is disclosed. In one embodiment a method is provided comprising issuing a request to perform a verification run on a component of an electric circuit design, receiving configuration data specifying a list of waivers extracted from a plurality of waivers applicable to the electric circuit design as a whole where the list of waivers is extracted based on waiver validity period data and is applicable to the component rather than the electric circuit design as a whole. The described method further comprises identifying a potential design defect and generating a verification run result including a set of design defects of the component, the set including the potential design defect if no waiver of the list of waivers is determined to be applicable.
    • 披露了自动管理验证豁免。 在一个实施例中,提供了一种方法,包括发出对电路设计的部件执行验证运行的请求,接收指定从适用于整个电路设计的多个放弃中提取的放弃列表的配置数据,其中, 根据豁免有效期数据提取豁免清单,适用于整体而不是电路设计。 所描述的方法还包括识别潜在的设计缺陷并产生包括该组件的一组设计缺陷的验证运行结果,该集合包括如果放弃的列表的放弃被确定为可应用的,则该集合包括潜在的设计缺陷。
    • 5. 发明授权
    • Timeout determination method and apparatus
    • 超时确定方法和装置
    • US07307951B2
    • 2007-12-11
    • US10417258
    • 2003-04-17
    • Gero DittmannAndreas Herkersdorf
    • Gero DittmannAndreas Herkersdorf
    • H04J3/16H04L12/66
    • H04L69/28H04L43/026
    • A method (and apparatus) for determining, in a system including an m-bit time counter, whether an event-occurrence time lies after a predetermined timeout-value, includes reading out of a time-stamp memory a stored time-stamp value, determining the time-difference between the time-stamp value and the event-occurrence time, and determining whether the time-difference is larger than the predetermined timeout-value. The event-occurrence time is represented by a subset of the bits of the m-bit time counter, the subset being determined by a plurality of parameters including any two of a lower bit-position, an upper bit-position, and a subset width. The lower bit-position is dependent on the predetermined timeout-value.
    • 一种用于在包括m位时间计数器的系统中确定事件发生时间是否位于预定超时值之后的方法(和装置)包括:读出时间戳存储器存储的时间戳值, 确定所述时间戳值与所述事件发生时间之间的时差,以及确定所述时差是否大于所述预定超时值。 事件发生时间由m位时间计数器的位的子集表示,该子集由多个参数确定,包括较低位位置,高位位置和子集宽度中的任何两个 。 较低位位置取决于预定的超时值。
    • 6. 发明申请
    • AUTOMATED MANAGEMENT OF VERIFICATION WAIVERS
    • 自动化验证管理
    • US20120072878A1
    • 2012-03-22
    • US13234952
    • 2011-09-16
    • Gero Dittmann
    • Gero Dittmann
    • G06F17/50
    • G06F17/5081G06F17/504
    • Automated management of verification waivers is disclosed. In one embodiment a method is provided comprising issuing a request to perform a verification run on a component of an electric circuit design, receiving configuration data specifying a list of waivers extracted from a plurality of waivers applicable to the electric circuit design as a whole where the list of waivers is extracted based on waiver validity period data and is applicable to the component rather than the electric circuit design as a whole. The described method further comprises identifying a potential design defect and generating a verification run result including a set of design defects of the component, the set including the potential design defect if no waiver of the list of waivers is determined to be applicable.
    • 披露了自动管理验证豁免。 在一个实施例中,提供了一种方法,包括发出对电路设计的部件执行验证运行的请求,接收指定从适用于整个电路设计的多个放弃中提取的放弃列表的配置数据,其中, 根据豁免有效期数据提取豁免清单,适用于整体而不是电路设计。 所描述的方法还包括识别潜在的设计缺陷并产生包括该组件的一组设计缺陷的验证运行结果,该集合包括如果放弃的列表的放弃被确定为可应用的,则该集合包括潜在的设计缺陷。
    • 7. 发明授权
    • Self-tuning power management techniques
    • 自整定电源管理技术
    • US08001405B2
    • 2011-08-16
    • US12201821
    • 2008-08-29
    • Gero DittmannReinaldo A. BergamaschiIndira NairAlper Buyuktosunoglu
    • Gero DittmannReinaldo A. BergamaschiIndira NairAlper Buyuktosunoglu
    • G06F1/26G06F1/00G06F11/00G01R21/00
    • G06F1/3203
    • Power management techniques include a method for power management of a processor chip which comprises the following steps. An initial operating level is set for the processor chip. After a predetermined time interval, slack is calculated. If the slack is greater than zero, the initial operating level is increased to a next higher level, otherwise the initial operating level is maintained. After the predetermined time interval, the slack is re-calculated and further includes accumulated slack. If the re-calculated slack is greater than zero, the operating level is increased to the next higher level if the processor chip is being operated at the initial operating level, otherwise the operating level is returned to the initial operating level if the processor chip is being operated at the next higher operating level. The steps to re-calculate the slack and either increase the operating level to the next higher level or return the operating level to the initial operating level are repeated.
    • 电源管理技术包括用于处理器芯片的电源管理的方法,其包括以下步骤。 为处理器芯片设置初始操作级别。 在预定的时间间隔之后,计算松弛。 如果松弛度大于零,则初始操作级别增加到下一级,否则保持初始操作级别。 在预定的时间间隔之后,重新计算松弛,并进一步包括累积的松弛。 如果重新计算的松弛大于零,则如果处理器芯片在初始操作电平下操作,则操作电平增加到下一个较高电平,否则如果处理器芯片为 在下一个更高的运行水平运行。 重新计算松弛的步骤,并将操作级别提高到下一级,或将操作级别恢复到初始操作级别。
    • 8. 发明申请
    • Self-Tuning Power Management Techniques
    • 自调节电源管理技术
    • US20100058084A1
    • 2010-03-04
    • US12201821
    • 2008-08-29
    • Gero DittmannReinaldo A. BergamaschiIndira NairAlper Buyuktosunoglu
    • Gero DittmannReinaldo A. BergamaschiIndira NairAlper Buyuktosunoglu
    • G06F1/32
    • G06F1/3203
    • Power management techniques include a method for power management of a processor chip which comprises the following steps. An initial operating level is set for the processor chip. After a predetermined time interval, slack is calculated. If the slack is greater than zero, the initial operating level is increased to a next higher level, otherwise the initial operating level is maintained. After the predetermined time interval, the slack is re-calculated and further includes accumulated slack. If the re-calculated slack is greater than zero, the operating level is increased to the next higher level if the processor chip is being operated at the initial operating level, otherwise the operating level is returned to the initial operating level if the processor chip is being operated at the next higher operating level. The steps to re-calculate the slack and either increase the operating level to the next higher level or return the operating level to the initial operating level are repeated.
    • 电源管理技术包括用于处理器芯片的电源管理的方法,其包括以下步骤。 为处理器芯片设置初始操作级别。 在预定的时间间隔之后,计算松弛。 如果松弛度大于零,则初始操作级别增加到下一级,否则保持初始操作级别。 在预定的时间间隔之后,重新计算松弛,并进一步包括累积的松弛。 如果重新计算的松弛大于零,则如果处理器芯片在初始操作电平下操作,则操作电平增加到下一个较高电平,否则如果处理器芯片为 在下一个更高的运行水平运行。 重新计算松弛的步骤,并将操作级别提高到下一级,或将操作级别恢复到初始操作级别。
    • 9. 发明授权
    • Method and systems for ordered dynamic distribution of packet flows over network processing means
    • 通过网络处理手段对数据包流进行有序动态分配的方法和系统
    • US07359318B2
    • 2008-04-15
    • US10506101
    • 2003-02-27
    • Francois AbelAlan BennerGero DittmannAndreas Herkersdorf
    • Francois AbelAlan BennerGero DittmannAndreas Herkersdorf
    • H04J3/14H04J1/16
    • H04L67/1008H04L47/10H04L47/125H04L47/2441H04L47/2483H04L47/34H04L67/1002
    • A method and systems for dynamically distributing packet flows over multiple network processing means and recombining packet flows after processing while keeping packet order even for traffic wherein an individual flow exceeds the performance capabilities of a single network processing means is disclosed. After incoming packets have been analyzed to identify the flow the packets are parts of, the sequenced load balancer of the invention dynamically distributes packets to the connected independent network processors. A balance history is created per flow and updated each time a packet of the flow is received and/or transmitted. Each balance history memorizes, in time order, the identifier of network processor having handled packets of the flow and the associated number of processed packets. Processed packets are then transmitted back to a high-speed link or memorized to be transmitted back to the high-speed link later, depending upon the current status of the balance history.
    • 一种用于在多个网络处理装置上动态地分发分组流的方法和系统,并且在处理之后重新组合分组流,同时保持分组顺序,即使对于单个流超过单个网络处理装置的性能的流量也是如此。 在分析了输入数据包以识别数据包是流量的一部分后,本发明的顺序负载平衡器动态地将分组分发到连接的独立网络处理器。 每个流创建一个平衡历史,并在每次接收和/或发送流的数据包时进行更新。 每个平衡历史按时间顺序记录已处理流的分组的处理器的数据包的标识符和相关联的处理数据包的数量。 处理的数据包然后被发送回到高速链路或存储,以根据当前的平衡历史状态稍后传送回高速链路。