Последовательное тестирование

Функция тестовых векторов поддерживает как комбинационное, так и последовательное тестирование схем. По умолчанию тесты комбинационные: схема сбрасывается перед каждым тестом, обеспечивая независимость каждого теста.

Для последовательных схем вы можете указать тестовые последовательности, используя специальные столбцы заголовков <set> и <seq>:

<set>: Определяет идентификатор последовательности — тесты с одинаковым номером набора принадлежат одной последовательности и выполняются вместе. Состояние схемы сохраняется между шагами в одном наборе. Тесты по умолчанию относятся к набору 0, если не указано иное.
<seq>: Определяет номер шага в наборе — это определяет порядок выполнения тестов в одном наборе. Тесты выполняются в порядке их значения <seq> в каждом <set>. Тесты со значением <seq> равным 0 или отсутствующим обрабатываются как комбинационные (схема сбрасывается между тестами, даже если они имеют один и тот же набор).

Вот пример последовательного тестового вектора:

# Последовательный тест для счётчика
Clock Reset Count <set> <seq>
0     0     0     1     1
1     0     0     1     2
0     0     1     1     3
1     0     1     1     4
0     0     2     1     5
1     0     2     1     6
0     1     0     2     1

В этом примере первые шесть тестов имеют <set> 1 со значениями <seq> 1-6, поэтому они образуют одну последовательность, которая выполняется по порядку (seq 1, затем 2, затем 3 и т.д.) без сброса между шагами. Последний тест имеет <set> 2, поэтому он начинает новую последовательность, и схема сбрасывается перед его выполнением.

Note also that Clock could be an input pin here. But it could also be a labeled clock component (see below).

Правила выполнения последовательностей

Тесты с одинаковым номером <set> (> 0) принадлежат одной последовательности
В каждом наборе тесты выполняются в порядке их значения <seq> (seq 1, затем 2, затем 3 и т.д.)
The circuit state is maintained between tests in the same set (same set ID)
Схема сбрасывается при начале нового набора (другой номер <set>)
Tests with <seq> = 0 or missing must also have <set> = 0 or missing and are always combinational (reset between tests)

Using the Clock

In a sequential test, the first step begins with a reset. In every step after the first, it begins with a simulation tick. Any Clock components in the simulation will be updated by that tick and their signals will be propagated along with any input pin values for that step. You may add a column to the test to show the ticks. The column will be checked against the clock in the circuit as if it were an output pin to verify it describes the clocks behavior. Here is an example for a simple positive edge-triggered D flip-flop test with a standard clock:

<clk> D Q NotQ  <set> <seq>
  0   0 0   1     1     1
  1   0 0   1     1     2
  0   1 0   1     1     3
  1   1 1   0     1     4
  0   1 1   0     1     5
  1   1 1   0     1     6
  0   0 1   0     1     7

The <clk> header is a special name for an unlabeled clock component. You may also label the clock and use the label as the column header (see earlier example).

We recommend that when using a Clock, you should not change the values of memory inputs during the same step that the clock makes a triggering transition. Doing so may allow an input signal to reach the component at near the same time as the clock signal giving surprising behavior. In the example above, the D input does not change in steps with a rising edge of the clock.

Полный пример

Вот полный пример, объединяющий все функции:

# Mixed combinational and sequential tests
A B C Out     <clk> <set> <seq>
0 0 0 0       0     0     0
0 0 1 1       0     0     0
1 1 0 1       0     1     1
0 1 0 0       1     1     2
1 1 1 1       0     1     3
0 0 0 <DC>    0     2     1
1 0 1 <float> 1     2     2

In this example:

Notice how the clock resets to 0 in each line that does a reset.
The first two tests are combinational (seq=0), so the circuit resets between each test, even though they share set 0.
The next three tests all have set 1 with seq values 1-3, so they form one sequence that runs in order without reset between each other only resetting before the first test in the set runs.
The last test has set 2 seq 1&2, so it starts a new sequence and the circuit resets before it runs but not between tests in the set.
The sixth test uses <DC> for the output, so any output value passes.
The last test uses <float> for the output, expecting a floating value.

Thus the execution might look like this:

Reset, set A=0, B=0, C=0 and check that Out==0 and clk=0
Reset, set A=0, B=0, C=1 and check that Out==1 and clk=0
Reset, set A=1, B=1, C=0 and check that Out==1 and clk=0
Tick, set A=0, B=1, C=0 and check that Out==0 and clk=1
Tick, set A=1, B=1, C=1 and check that Out==1 and clk=0
Reset, set A=0, B=0, C=0 and not check Out but clk=0
Tick, set A=1, B=0, C=1 and check that Out is floating (in Logisim this is notated as U) and clk=1
Test Vector is complete

Предыдущий: Специальные значения | Следующий: Использование из командной строки.