会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Clock domain conflict analysis for timing graphs
    • 定时图时钟域冲突分析
    • US07584443B1
    • 2009-09-01
    • US11683388
    • 2007-03-07
    • Jason GovigDavid KarchmerWilliam Buckner Davis
    • Jason GovigDavid KarchmerWilliam Buckner Davis
    • G06F17/50
    • G06F17/5077G06F17/5031G06F2217/62
    • The present invention is directed to clock domain conflict analysis of a timing graph that features, dissociating clock domains of one or more of a path having conflicting clock domains while preserving the original clock domain relationship of the edges in the path. To that end, the method includes generating a timing graph having a source instance, a destination instance and a plurality of edges defining a plurality of signal paths between the source instance and the destination instance. A plurality of clock domains is corresponded to the timing graph, with a subset of the plurality of edges being associated with more than one clock domain. From the subset, conflicting clock domains associated with a common edge are identified. In response to identification of the conflict, one of the clock domains is dissociated from one of the edges of the subset.
    • 本发明涉及定时图的时钟域冲突分析,该时序图具有解离具有冲突时钟域的路径中的一个或多个的时钟域,同时保持路径中的边缘的原始时钟域关系。 为此,该方法包括生成具有源实例,目的地实例和定义源实例与目的实例之间的多个信号路径的多个边的定时图。 多个时钟域对应于定时图,多个边缘的子集与多于一个时钟域相关联。 从子集中,识别与公共边缘相关联的冲突时钟域。 响应于冲突的识别,其中一个时钟域与该子集的一个边缘分离。
    • 4. 发明授权
    • Reporting status of timing exceptions
    • 定时异常的报告状态
    • US08141015B1
    • 2012-03-20
    • US12716234
    • 2010-03-02
    • Jason GovigSami Ahmad Abu-El-Haija
    • Jason GovigSami Ahmad Abu-El-Haija
    • G06F17/50
    • G06F17/5031
    • A method for reporting timing exception status is presented. The method begins by computing a set of edges of a sub-domain and a set of edges of a timing exception. A slack value is computed based on either the edges of the sub-domain common to the set of edges of the timing exception or the timing paths of the sub-domain. If the sub-domain has a valid slack value, the method compares the sub-domain timing exception type to the timing exception type of the timing exception. The method identifies the timing exception as being overridden if both timing exception types are different and either the slack value computed based on edges of the sub-domain is valid, or the sub-domain has the valid slack value and an intersection of the set of edges of the sub-domain and of the timing exception forms a timing path. The method presents the overridden timing exceptions.
    • 提出了一种报告定时异常状态的方法。 该方法开始于计算子域的一组边缘和定时异常的一组边缘。 基于定时异常的边缘集合的子域的边缘或子域的定时路径来计算松弛值。 如果子域具有有效的松弛值,则该方法将子域定时异常类型与定时异常的定时异常类型进行比较。 如果两个定时异常类型不同,并且基于子域的边缘计算的松弛值有效,则该方法将定时异常识别为被覆盖,或者子域具有有效的松弛值和该组的 子域和定时异常的边缘形成定时路径。 该方法提出了超时的时序异常。