Просмотр исходного текста страницы Questa SIM User's Manual/Analyzing Assertions and Cover Directives

== Analyzing Assertions and Cover Directives ==

The following tasks can be used for analyzing assertions and cover directives:

*    Viewing Assertions in the Assertions Window
*    Viewing Cover Directives in the Cover Directives Window
*    Viewing Memory Profile Data
*    Viewing Assertions and Cover Directives in the Wave Window
*    Comparing Assertions

=== Viewing Assertions in the Assertions Window ===

<!-- 
The Assertions windows displays simulation data about assertions. To open the Assertions window, select View > Coverage > Assertions from the menus.-->
Окна Утверждения (Assertions windows) отображают данные моделирования об утверждениях. Чтобы открыть окно Утверждения, выберите ''View → Coverage → Assertions'' из меню.

<!-- Figure 21-17 shows SystemVerilog assertions in the Assertions window. SV assertions are indicated by a light blue triangle. PSL assertions (not shown) are indicated by a purple triangle.-->
Рисунок 21-17 показывает SystemVerilog утверждения в окне Утверждения. Утверждения SV обозначены голубым треугольником. PSL утверждений (не показаны) обозначаются фиолетовым треугольником.

{| align=center
! [[Файл:Vsim Assertions window.gif]]
|-
! Figure 21-17. SystemVerilog Assertions in the Assertions Window
|}

<!-- 
The Assertions window lists all embedded and external assert directives that were successfully compiled and simulated during the current session. The plus sign (’+’) to the left of the Name field lets you expand the assertion hierarchy to show its elements (properties, sequences, clocks, and HDL signals).
-->
В окне Утверждения перечислены все встроенные и внешние директивы утверждений, которые были успешно скомпилированы и моделируемые в ходе текущей сессии. Знак плюс ('+') слева от поля "Name" позволяет расширить (раскрыть) иерархию утверждения, чтобы показать её элементы (свойства, последовательности, синхронизацию и HDL сигналы).

<!-- The Assertions window includes several columns for displaying information about assertions. See GUI Elements of the Assertions Window for a description of each field.-->
Окно Утверждения включает в себя несколько столбцов для отображения информации о утверждениях. Смотри [[GUI Elements of the Assertions Window]] для описания каждого поля.

<!-- When assertions fire with failure messages, the Assertions window displays the name and failure count in red, both during simulation and in post-simulation mode (Figure 21-18).
-->
Когда утверждения выдают сообщений об ошибке, окно Утверждения отображает имя и количество ошибок красным цветом, как во время моделирования так и в режиме пост-моделирования (рисунок 21-18).

{| align=center
! [[Файл:Vsim Assertion fail red.gif]]
|-
! Figure 21-18. Assertion Failures Appear in Red
|}


<!-- You can use the assertion count command to return the sum of the assertion failure counts for a specified set of assertion directive instances. This command returns a "No matches" warning if the given path does not contain any assertions.
-->
Вы можете использовать команду  <code>[[assertion count]]</code>, чтобы вернуть сумму числа ошибочных утверждений для заданного набора экземляров директив утверждений. Эта команда возвращает предупреждение (warning) "No matches", если заданный путь не содержит никаких утверждений.


==== Assertions Window Display Options ====

<!-- The Assertions window can display assertion directives in hierarchical (tree) mode (Figure 21-19) or in the flattened form (Figure 21-17).-->
Окно Утверждения могут отображать директивы утверждений в иерархическом (дерево) виде (рисунок 21-19) или в плоском (flattened) виде (рисунок 21-17).


{| align=center
! [[Файл:Vsim Assertions hierarchy.gif]]
|-
! Figure 21-19. Hierarchy Display Mode
|}


<!-- The hierarchical display mode can be enabled or disabled by doing any one of the following:-->
Режим иерархического отображения может быть включен или отключен с помощью одного из следующий действий:

<!-- *    When the Assertions window is docked, select Assertions > Display Options > Hierarchy Mode from the Main menus.-->
* Когда окно Утверждения пристыкован (docked), выберите ''Assertions → Display Options → Hierarchy Mode'' в главном меню.

<!-- *    Right-click in the Assertions window and select Display Options > Hierarchy Mode from the popup menu.-->
* Щелкните правой кнопкой мыши в окне Утверждения и выберите ''Display Options → Hierarchy Mode'' в всплывающем меню.

<!-- The Display Options menu also includes the following options:-->
Меню '''Display Options''' также включает в себя следующие опции:

<!-- *    The Recursive Mode option displays all assertions at and below the selected hierarchy instance, the selection being taken from a Structure window. (i.e., the sim tab). Otherwise only items actually in that particular scope are shown.-->
* Опция '''Recursive Mode''' отображает все утверждения на выбранном элементе иерархии и ниже, выделение (выбор элемента) берётся из окна Structure (например, закладка sim). В противном случае только показываются только те элементы, которые расположены на выбранному уровне.

<!-- *    The Show All Contexts option displays all instances in the design. It does not following the current context selection in a structure pane. The Show All Context display mode implies the recursive display mode as well, so the Recursive Mode selection is automatically grayed out.-->
* Опция '''Show All Contexts''' отображает все экземпляры в дизайне. В этом случае не учитывается, что выбрано в текущем контексте в панели Structure. Режим отображения Show All Context означает рекурсивный режим отображения как есть, так что выбор '''Recursive Mode''' автоматически серым цветом. {{Карандаш|24px}}

<!-- *    The Show Concurrent Asserts option displays only concurrent assertions.-->
* Параметр '''Show Concurrent Asserts''' отображает только параллельные утверждения (concurrent assertions).
<!-- *    The Show Immediate Asserts option displays only immediate assertions.-->
* Параметр '''Show Immediate Asserts''' отображает только непосредственные утверждения (immediate assertions).

=== Viewing Cover Directives in the Cover Directives Window ===

<!-- The Cover Directives window displays information about cover directives. To open the Cover Directives window, select ''View > Coverage > Cover Directives''.-->
Окно "Cover Directives" отображает информацию о директивах покрытия. Чтобы открыть окно "Cover Directives", выберите ''View > Coverage > Cover Directives''.

<!-- Figure 21-20 shows PSL cover directives in the Cover Directives window. PSL cover directives are indicated by a purple chevron. SystemVerilog cover directives (not shown) are indicated by a light blue chevron.
-->
Рисунок 21-20 показывает PSL директивы покрытия в окне "Cover Directives". PSL директивы покрытия обозначаются фиолетовым шевроном. SystemVerilog директивыпокрытия (не показаны на рисунке), обозначаются светло-голубым шевроном.


{| align=center
! [[Файл:Vsim Cover directives tab.gif]]
|-
! Figure 21-20. PSL Cover Directives in the Cover Directives Window
|}


<!-- The Cover Directives window displays accumulated cover directive statistics at the current simulation time, including percentages and a graph for each directive and instance. The plus sign (’+’) to the left of the Name field lets you expand the directive hierarchy to show its elements (properties, sequences, clocks, and HDL signals). Refer to [[GUI Elements of the Cover Directives Window]] for a description of each column.-->
Окно "Cover Directives" отображает накопленную статистику по директивам покрытия в текущий момент моделирования, включающюю проценты и граф для каждой директивы и экземпляра (instance). Знак плюс ('+') слева от поля Name позволяет раскрыть иерархию  директивы, чтобы показать его элементы (свойства, последовательности, синхросигналы и HDL сигналы). Обратитесь к [[GUI Элементы директив стекла крышка]] для описания каждого столбца.


==== Display Options for Cover Directives ====

<!-- Display options allow you to display cover directives in a '''Recursive Mode''' or in a '''Show All Contexts''' mode. For details, see [[Changing the Cover Directives Window Display Options]].
-->
Параметры отображения позволяют отображать директивы покрытия в '''Recursive Mode''' (рекурсивном) или в '''Show All Contexts''' (показать всё содержимое) режиме. Подробней об этом смотри [[Changing the Cover Directives Window Display Options]].

==== Filtering Data in the Assertions and Cover Directives Window (фильтрация данных)====

You can filter the Assertions and Cover Directives data displayed by selecting '''Assertions > Filter > Setup or Cover Directives > Filter > Setup''', depending on which window is active. For details, see “[[Filtering Functional Coverage Data]]”.

===Viewing Memory Profile Data===

<!-- The assertion profile command generates a fine grained profile of memory usage for assertions and cover directives. The results are displayed in the Memory, Peak Memory, Peak Memory Time, and Cumulative Threads columns of the Assertions and Cover Directives windows.-->
Команда "assertion profile" генерирует подробный отчет об использовании памяти для утверждений и директив покрытия. В результате в окне асертов и директив покрытия отображаются следующие стобцы: Memory, Peak Memory, Peak Memory Time и Cumulative Threads.

<!-- *    The '''Memory column''' tracks the current memory used by the assertion or cover directive.-->
*    Столбец '''Memory''' отслеживает текущее использование памяти асертом или директивой покрытия.

<!-- *    The '''Peak Memory''' column tracks the peak memory used by the assertion or cover directive.-->
*    В столбце '''Peak Memory''' отслеживается пиковое (максимальное) значение используемой памяти ассертом или директивой покрытия.

<!-- *    The '''Peak Memory Time''' column indicates the simulation run time at which the peak memory usage occurred.-->
*    В столбце '''Peak Memory Time''' показывается значение времени моделирования, при котором было наибольшее использование памяти.

<!-- *    The '''Cumulative Threads''' column counts the cumulative thread count for the assertion.--> 
*    В столбце '''Cumulative Threads''' подсчитывается суммарное число потоков для ассерта.

<!-- While the Cumulative Threads count is not specifically about memory, it is designed to highlight those assertions and cover directives that are starting too many attempts, such as the following assertion:
-->
Несмотря на то, хотя значение суммарных потоков (Cumulative Threads) не определяет затраты памяти, оно предназначено для определения тех ассертов и директив покрытия, которые запущены очень много раз, например как следующее утверждение:

 assert property ((@posedge clk) a |=> b);

<!-- If ‘a’ is true throughout the simulation, then the above assertion will start a brand new attempt at every clock. An attempt, once started, will only be alive until the next clock. So this assertion will not appear abnormally high in the '''Memory''' and '''Peak Memory''' columns, but it will have a high count in the '''Cumulative Threads''' column.
-->
Если ‘a’ истинно на протяжении всего моделирования, то данное утверждение будет стартовать совершенно новую попытку каждый клок. Попытка, раз начавшись, будет действовать до следующего синхросигнала. Так что это утверждение не будет иметь  аномально высокое значение ни в столбце '''Memory''', ни в '''Peak Memory''', но оно будет иметь большое значение в колонке '''Cumulative Threads'''.

=== Viewing Assertions and Cover Directives in the Wave Window ===

<!-- You can view assertions and cover directives in the Wave window just like any other signal in your design. Use one of the following methods to add directives to the Wave window:-->
Можно наблюдать утверждения и директивы покрытия в окне временных диаграмм также как другие сигналы проекта. Используйте один из следующих методов для добавления директив на временные диаграммы:

*    To add all assertions in your design to the Wave window, 
**    Select a single object in the Assertions window, then select '''Add > To Wave > Objects in Design''' from the main menus.
**    Select all objects in the Assertions window, then select '''Add > To Wave > Selected Objects''' from the main menus
**    Right-click the selected assertions, then select '''Add Wave > Objects in Design''' from the popup menu.
**    Select all objects in the window, then click the '''Add Selected To Window''' button in the [[Standard Toolbar]]. [[Файл:Vsim Button add selected to wave.gif]]

*    To add all cover directives in your design to the Wave window: 
**    Select a single directive in the Cover Directives window, then select '''Add > To Wave > Functional Coverage in Design''' from the main menus.
**    Select all directives in the Cover Directives window, then select '''Add > To Wave > Selected Functional Coverage''' from the main menus. 
**    Right-click the selected cover directives, then select '''Add Wave > Functional Coverage in Design''' in Design from the popup menu. 
**    Select all directives in the window, then click the '''Add Selected To Window''' button in the [[Standard Toolbar]]. [[Файл:Vsim Button add selected to wave.gif]]

*    To place a single assertion or cover directive in the Wave window: 
**    Drag the object from the its window and drop it into the Wave window, or simply drop it onto the Wave tab if it is showing. 
**    Select the object, then click the '''Add Selected To Window''' button in the [[Standard Toolbar]].
**    Select the object then select '''Add > To Wave > Selected Objects''' from the menu bar. 
*    Right-click any selected assertion and select '''Add Wave > Selected Objects''' from the popup menu; or right-click any selected cover directive and select '''Add Wave > Selected Functional Coverage''' from the popup menu.

<!-- Questa SIM represents assertions and cover directives as signals or waveforms in the Wave window. The Wave window in Figure 21-21 shows several SystemVerilog assertions and a single cover directive. SystemVerilog assertions are represented by light blue triangles in the pathnames column. SystemVerilog cover directives are represented by light blue chevrons.
-->
Questa SIM представляет утверждения и директивы покрытия как сигналы или waveforms в окне '''Wave'''. На рисунке  21-21 показано окно  '''Wave''' с несколькими SystemVerilog утверждениями и одной директивой покрытия. SystemVerilog утверждения представляются светло голубым треугольником в столбце имени. SystemVerilog директивы покрытия представляются светло голубым шевроном.

{| align=center
! [[Файл:Vsim Sv assert wave.gif]]
|-
! Figure 21-21. SystemVerilog Assert and Cover Directives in the Wave Window
|}


<!-- The Wave window in Figure 21-22 shows several PSL assertions and cover directives. PSL assertions are represented by magenta triangles. PSL cover directives are represented by magenta chevrons.
-->
На рисунке 21-22 показано окно временных диаграмм с несколькими PSL утверждениями и директивами покрытия. PSL утверждения представляются треугольниками цвета магента (magenta). PSL директивы покрытия представляются шевронами  цвета магента (magenta).


{| align=center
! [[Файл:Vsim Assertions wave.gif]]
|-
! Figure 21-22. PSL Assert and Cover Directives in the Wave Window
|}

<!-- 
The name of each assertion and cover directive comes from the assertion code. The plus sign (’+’) to the left of the name indicates that an assertion or cover directive is a composite trace and can be expanded to show its elements (properties, sequences, clocks, and HDL signals). Note that signals are flattened out; hierarchy is not preserved.
-->
Имя каждого утверждения и директивы покрытия берётся из исходного кода, описывающего утверждение. Знак плюса (’+’) слева от имени обозначает, что утверждение или директива покрытия является составной трассой (trace) и может быть расширено (развёрнуто/раскрыто) для просмотра составных элементов (свойства (properties), последовательности (sequences), синхросигналы и др. HDL сигналы). Следует обратить внимание, что сигналы отображаются без иерархии.

<!-- The value in the value pane is determined by the active cursor in the waveform pane. The value will be one of ACTIVE, INACTIVE, PASS, FAIL, or ANTCDENT.
-->
Значение в панели значений (value pane) определяется расположением активного курсора на панели временных диаграмм (waveform pane). Значение будет одним из ACTIVE (активно), INACTIVE (неактивно), PASS (выполнено), FAIL (не выполнено/ложно), или ANTCDENT.

<!-- The waveform for an assertion or cover directive represents both continuous and instantaneous information.
-->
Временные диаграммы для утверждения или директивы покрытия представляют как текущую (непрерывную), так и мгновенную  информацию.

<!-- *    Continuous information is either active or inactive. The directive is active anytime it matches the first element in the directive. When active, the trace is green; when inactive it is blue. 
-->
* Текущая информация - это активна или неактивна директива или утверждение. Директива актива, если выполняется первый элемент директивы. Когда директива активна трасса (линия на диаграмме) отображается зеленым; когда неактивно, то синим.

<!-- *    Instantaneous information is represented as a start, pass, or fail event. A start event is shown as a blue square. A green triangle represents a pass. And a red triangle indicates a fail. 
-->
* Мгновенная информация представляется в виде старта/начала (start), выполнения (pass), либо сбоя (fail) события. Начало события показывается голубым квадратом. Зелёный треугольник означает выполение (pass). А красный треугольник означает сбой (fail).

<!-- A yellow triangle represents an antecedent match (Figure 21-23). The yellow triangle is displayed only if the directive is browseable and assertion debug is on (vsim -assertdebug). The yellow triangle is shown for each thread of the assertion under ActiveCount in the assertion (see [[Using the Assertion Active Thread Monitor]]). The signal values of the assertion also reflect the antecedent match (ANTCDENT).
-->
Желтый треугольник представляет собой предшествующее совпадение (antecedent match) (как показано на рис 21-23). Желтый треугольник отображается только если директива просматриваетя (выведена на диаграммы) и включен режим оталдки утверждений (<code>vsim -assertdebug</code>). Желтый треугольник показывается для каждого потока проверки утверждения under ActiveCount в утверждении (см. [[Using the Assertion Active Thread Monitor]]). Значения сигналов, используемых в утверждении, также отражают/отображают предшествующее/предыдущее совпадение (ANTCDENT).

{| align=center
! [[Файл:Vsim Wave antecedent.gif]]
|-
! Figure 21-23. Предшествующее совпадение обозначается жёлтым треугольником (Antecedent Matches Indicated by Yellow Triangle)
|}


<!-- Table 21-1 summarizes the graphic elements for assertions and cover directives used in the Wave and ATV windows (see Viewing Assertion Threads in the ATV Window):
-->
Таблица 21-1 суммирует графические элементы для утверждения и директив покрытия, используемые в окнах Wave и ATV (см. [[Viewing Assertion Threads in the ATV Window]]):

{|  class=standard align=center
|+ Table 21-1. Графические элементы для утверждения и директив покрытия  <br />(Graphic Elements for Assertions and Cover Directives)
! Graphic element
! Meaning
|-
| голубая линия (blue line)
| утверждение или директива покрытия неактивна

assertion or cover directive is inactive
|-
| зелёная линия (green line)
| утверждение или директива покрытия активна

assertion or cover directive is active
|-
| голубой квадрат (blue square)
| утверждение или директива покрытия стартовала

assertion or cover directive starts
|-
| зелёный треугольник (green triangle)
| утверждение или директива покрытия пройдена

assertion or cover directive passed
|-
| красный треугольник (red triangle)
| утверждение или директива покрытия не выполено

assertion or cover directive failed
|-
| желтый триугольник (yellow triangle)
| предшествующее совпадение произошло в утверждении

antecedent match occurred in assertion
|}


==== Отображение директив покрытия в режиме счета/счетном режиме (Count Mode) ====

<!-- You can change the coverage directive waveform in the Wave window so it displays in count mode format, which shows the instantaneous waveform value as a decimal integer. To change to count-mode format, right-click a coverage waveform name and select '''Cover Directive View > Count Mode'''.
-->
Вы можете изменить диаграмму директивы покрытия в окне Wave, так чтобы она отображало в формате режима счета (count mode format), в котором показывается мгновенное значение в виде десятичного целого. Чтобы изменить формат на режим счёта, в меню по правой кнопке мыши на имени диаграммы покрытия и выбрать '''Cover Directive View > Count Mode'''.

{| align=center
! [[Файл:Vsim Sv count mode.gif]]
|-
! Figure 21-24. Просмотр диаграмм директивы покрытия в режиме счета (Count Mode)
|}


<!-- Count mode can be useful for gauging the effectiveness of stimulus over time. If all cover directive counts are static for a long period of time, it may be that the stimulus is acting in a wasteful manner and can be improved.
-->
Режим счета может быть полезен для замера эффективности тестовых наборов (stimulus) с течением времени. Если все счетчики директив покрытия являются статическими в течение длительного периода времени, может быть, что тестовые наборы растянуты (что может быть избыточным) и могут быть улучшены (сжаты).

=== Сравнение утверждений (Comparing Assertions) ===

Questa SIM’s compare feature allows you to compare assertions (which includes any assertion-like object such as accAssertion, accCover, accEndpoint, or accImmediateAssert.) There is no cross-compare with assertion types outside the set listed, and assertion compare is further limited to like types only. That is, both the reference and test items must be of the same type.

Questa SIM позволяет сравнить утверждения (которые включают в себя любые утверждение-подобные объект, такой как accAssertion, accCover, accEndpoint или accImmediateAssert). Нет перекрёстного сравнеия типов утверждений 

 Там нет кросс-сравнение с типами утверждение пределами набор в списке, и утверждение сравнить далее ограничивается как только у некоторых моделей. То есть, как опорные и тестовые элементы должны быть того же типа.

Comparing assertion signals differs from comparing normal HDL signals/ports because assertion signals have two attributes:

*    The current assertion state (ACTIVE | INACTIVE)

*    The current assertion event (START | PASS | FAIL | EVAL)

Assertions expand to show child signals but these child signals don't participate in the compare evaluation. Child signals are, however, visible in the compare waveforms when the you expand compare assertions.

====Setting Up the Assertions Compare====

You can set up and run an assertion compare using the compare commands or the menu-based Waveform Comparison Wizard. For example, a comparison using compare commands may look like the following:

<pre>
add wave /top/assert_sig
run 1000 ns
dataset open vwim_test.wlf
compare start sim vsim_test
compare add sim:/top/assert_sig vsim_test:/top/assert_sig
compare run
</pre>

All existing compare commands are supported for comparing assertion signals. Refer to the Command Reference for syntax and command descriptions.

The Waveform Comparison Wizard will guide you through the selection of a reference dataset and a test dataset. Assertions within those datasets are compared along with other signals. You can start the Wizard is by selecting '''Tools > Waveform Compare > Comparison Wizard'''.

The Compare Signal

When two assertion signals are compared — for example, <code>vsim_pass:/top/my_assertion_sig and vsim_fail:/top/my_assertion_sig</code> — a third virtual signal is created:

 compare:/top/\my_assertion_sig<>my_assertion_sig\

The compare signal created is composed of the reference signal and the test signal. Differences between the reference and text assertion signals are highlighted in red in the compare signal when it is displayed in the Wave Window. Assertion differences cannot be viewed in the ATV window.

====Two Types of Assertion Differences====

There are two types of assertion differences:

*    '''Instantaneous difference''' — When the assertion event (START | PASS | FAIL | EVAL) is different but the state of the assertion (ACTIVE | INACTIVE) is the same.

:For example, considering two datasets ''vsim_top'' and ''vsim_ntop'' with an assertion signal ''my_assertion_sig''.

::<code>vsim_top:/top/my_assertion_sig</code> is PASS_INACTIVE at 20 ns
::<code>vsim_ntop:/top/my_assertion_sig</code> is FAIL_INACTIVE at 20ns

:This is an instantaneous difference the difference will marked at time 20 ns and the width of the difference marker will be equal to the width of the PASS/FAIL symbol.

*    '''Range difference''' — When there is a state change (ACTIVE->INACTIVE) or vice-versa, between the reference and test assertion, irrespective of the event on the assertions.

====Child Signals====

An assertion object is composed of child signals. It is the evaluation of these child signals that determine the assertion event (START/PASS/FAIL). If you choose to expand the assertion, the difference marker is propagated to the child signals as well, but this may not necessarily mean a change in value on the child signal at that specific time — the difference could have occurred earlier.

If the reference signal has child signals but the test signal does not, or vice-versa, waveform compare will still work because compare cares only about the absolute event on the assertion. If there is a difference, it will be marked. 

[[Категория:vsim]]
[[Категория:PSL]]