Functional coverage analysis systems and methods for verification test suites
    1.
    发明申请
    Functional coverage analysis systems and methods for verification test suites 审中-公开
    功能覆盖分析系统和验证测试套件的方法

    公开(公告)号:US20030121011A1

    公开(公告)日:2003-06-26

    申请号:US10352591

    申请日:2003-01-28

    Abstract: Coverage metrics are expressed with an intuitive graphical interface based upon data flow. Coverage analysis and presentation objects are integrated to produce coverage results which enable device functionality in a device under test to be modeled as objects, subject to event occurrence. Event objects are introspected at run-time, allowing the user to determine the event object's attributes with specification of coverage metrics subject to a selected combination of the event object's attributes. The event objects are serialized into permanent storage, allowing the user to specify and execute new coverage metrics at any time after simulation. Operations used to describe coverage metrics are modeled as analysis objects. Such analysis objects accept event objects as inputs, using a predetermined, well-defined interface. The combination of event objects and analysis objects allows coverage metrics to be specified in a simple data flow manner. With such a coverage metric, the user attaches or wires (metaphorically) the analysis objects together in a visual builder environment. Using the analysis objects, the user specifies desired coverage metrics, such as coverage of sequences of events and/or coverage of events that occur during the same time window of a simulation. The display functionality of the coverage tool is expandable because the presentation objects use the same event object interface as the analysis operator objects. Coverage metrics are subject to specification either before or after event occurrence. The user specifies coverage metrics using an intuitive graphical interface based upon data flow, without any specific programming language skills being necessary. Functional events in the device under test are treated as event objects. Each event object may be passed to selected analysis tools chosen by the user, such as analyzers, logic gates, and coincidence counters.

    Abstract translation: 覆盖指标用基于数据流的直观图形界面表示。 覆盖分析和呈现对象被集成以产生覆盖结果,使得被测设备中的设备功能被建模为对象,受到事件的发生。 事件对象在运行时被内省,允许用户根据事件对象属性的选定组合来确定覆盖度量的规范来确定事件对象的属性。 事件对象被序列化为永久存储,允许用户在模拟之后随时指定和执行新的覆盖度量。 用于描述覆盖度量的操作被建模为分析对象。 这样的分析对象使用预定的,良好定义的界面来接受事件对象作为输入。 事件对象和分析对象的组合允许以简单的数据流方式指定覆盖度量。 通过这样的覆盖度量,用户将分析对象在视觉构建器环境中连接或连接(比喻)。 使用分析对象,用户指定期望的覆盖度量,例如在模拟的相同时间窗口期间发生的事件序列的覆盖和/或事件覆盖。 覆盖工具的显示功能是可扩展的,因为呈现对象使用与分析运算符对象相同的事件对象接口。 覆盖指标在事件发生之前或之后受制于规范。 用户使用基于数据流的直观图形界面来指定覆盖度量,而不需要任何特定的编程语言技能。 被测设备中的功能事件被视为事件对象。 每个事件对象可以被传递给用户所选择的分析工具,例如分析器,逻辑门和重合计数器。

Patent Agency Ranking