Generating a functional coverage model from a trace
    1.
    发明授权
    Generating a functional coverage model from a trace 失效
    从跟踪生成功能覆盖模型

    公开(公告)号:US08464103B2

    公开(公告)日:2013-06-11

    申请号:US12910804

    申请日:2010-10-24

    IPC分类号: G06F11/00

    CPC分类号: G06F11/3636 G06F11/3676

    摘要: A functional coverage model may be generated based on a trace. The functional coverage model may comprise values of attributes. The values may be extracted from one or more entries comprised by the trace. Based upon a selection of a field of an exemplary entry, content of the corresponding fields in other entries may be extracted and utilized. In some exemplary embodiments, names of attributes may be extracted from the trace. In some exemplary embodiments, a reference trace may be utilized as a comparative baseline coverage by generating a functional coverage model based upon the reference trace and comparing coverage of a second trace in respect to the functional coverage model with the coverage of the reference trace.

    摘要翻译: 可以基于跟踪生成功能覆盖模型。 功能覆盖模型可以包括属性值。 值可以从跟踪包含的一个或多个条目中提取。 基于对示例性条目的字段的选择,可以提取和利用其他条目中的对应字段的内容。 在一些示例性实施例中,可以从跟踪中提取属性的名称。 在一些示例性实施例中,可以通过基于参考轨迹生成功能覆盖模型并将第二轨迹相对于功能覆盖模型的覆盖与参考轨迹的覆盖进行比较来将参考轨迹用作对比基线覆盖。

    Meta attributes in functional coverage models
    2.
    发明授权
    Meta attributes in functional coverage models 失效
    功能覆盖模型中的元属性

    公开(公告)号:US08458523B2

    公开(公告)日:2013-06-04

    申请号:US12910805

    申请日:2010-10-24

    IPC分类号: G06F11/00

    CPC分类号: G06F11/3676 G06F11/3636

    摘要: A meta attribute useful for functional coverage is computed based on values comprised by two or more matching fields in a trace. The two or more matching fields may be comprised by a single entry of the trace or by a plurality of entries of the trace. A definition of the meta attribute may define which fields of the entries comprise values useful for computation of the meta attributes. The matching entries may be identified based on identifying values within the entries.

    摘要翻译: 基于跟踪中两个或多个匹配字段所包含的值计算功能覆盖有用的元属性。 两个或多个匹配字段可以由跟踪的单个条目或跟踪的多个条目组成。 元属性的定义可以定义条目的哪些字段包含对元属性的计算有用的值。 可以基于条目中的识别值来识别匹配条目。