Документация

verify(expression)

verify(expression, errorMessage)

verify(expression, identifier, errorMessage)

Оценивает логическое выражение. Дополнительные аргументы маркируют результаты в менеджере по Тесту и диагностическом средстве просмотра.

assert(expression)

assert(expression, errorMessage)

Выполняет логическое выражение. Отказ останавливает симуляцию и возвращает ошибку. Дополнительные аргументы возвращают сообщение об ошибке.

et(TimeUnits)

Прошедшее время теста продвигается в TimeUnits. Исключение TimeUnits возвращает значение в секундах.

Прошедшее время тестовой последовательности продвигается в миллисекунды:

et(msec)

t(TimeUnits)

Прошедшее время симуляции в TimeUnits. Исключение TimeUnits возвращает значение в секундах.

Прошедшее время симуляции в микросекундах:

t(usec)

after(n, TimeUnits)

Возвращает true, если n указал, что модули времени в TimeUnits протекают с начала текущего тестового шага.

После 4 секунд:

after(4,sec)

before(n, TimeUnits)

Возвращает true, пока n не указал, что модули времени в TimeUnits протекают, начинаясь с текущего тестового шага.

Перед 4 секундами:

before(4,sec)

ElapsedTime = duration (Condition, TimeUnits)

Возвращает ElapsedTime в TimeUnits, для которого Condition был true. ElapsedTime сбрасывается, когда тестовый шаг повторно введен или когда Condition больше не является true.

Возвратите true, если время в миллисекундах начиная с Phi > 1 больше, чем 550:

duration(Phi>1,msec) > 550

Возвращает true, если изменения u в значении с начала тестового шага, в противном случае возвращает false.

u должен быть символом входных данных.

Переход, когда h изменяется:

hasChanged(h)

Возвращает true, если u изменения от значения A, в противном случае возвращает false.

u должен быть символом входных данных.

Переход, когда h изменяется от 1:

hasChangedFrom(h,1)

Возвращает true, если изменения u в значении B, в противном случае возвращает false.

u должен быть символом входных данных.

Переход, когда h изменяется на 0:

hasChangedTo(h,0)

Представляет прямоугольную волну вывод с периодом 1 и области значений –1 к 1.

В интервале 0 <= x < 1 square(x) возвращает значение 1 для 0 <= x < 0.5 и –1 для 0.5 <= x < 1.

Выведите прямоугольную волну с периодом секунды 10:

square(et/10)

Представляет пилообразный вывод волны с периодом 1 и области значений –1 к 1.

В интервале 0 <= x < 1, увеличения sawtooth(x).

Выведите пилообразную волну с периодом секунды 10:

sawtooth(et/10)

Представляет треугольный вывод волны с периодом 1 и области значений –1 к 1.

В интервале 0 <= x < 0.5, увеличения triangle(x).

Выведите треугольную волну с периодом секунды 10:

triangle(et/10)

Представляет сигнал пандуса наклонного 1, возвращая значение пандуса во время x.

ramp(et) эффективно возвращает прошедшее время тестового шага.

Пандус один модуль в течение каждых 5 секунд теста продвигается прошедшее время:

ramp(et/5)

Представляет сигнал шага heaviside, возвращая 0 для x < 0 и 1 для x >= 0.

Выведите сигнал heaviside после секунд 5:

heaviside(et-5)

Сохраняет значение x в первый раз, когда latch(x) оценивает на тестовом шаге, и впоследствии возвращает сохраненное значение x. Сбрасывает сохраненное значение x, когда шаг выходит. Переоценивает latch(x), когда шаг затем активен.

Фиксируйте b к значению torque:

b = latch(torque)

Возвращает синус x, где x исчисляется в радианах.

Синусоида с периодом 10 секунд:

sin(et*2*pi/10)

Возвращает косинус x, где x исчисляется в радианах.

Волна косинуса с периодом 10 секунд:

cos(et*2*pi/10)

Равномерно распределенные псевдослучайные значения

Сгенерируйте новые случайные значения для каждой симуляции путем объявления rand, внешнего с coder.extrinsic. Присвойте случайное число локальной переменной. Например:

coder.extrinsic('rand')
nr = rand
sg = a + (b-a)*nr

Нормально распределенные псевдослучайные значения

Сгенерируйте новые случайные значения для каждой симуляции путем объявления randn, внешнего с coder.extrinsic. Присвойте случайное число локальной переменной. Например:

coder.extrinsic('randn')
nr = randn
sg = nr*2

Возвращает натуральную экспоненциальную функцию, $$e^x$$.

Экспоненциальный сигнал, прогрессирующий в одной десятой теста, продвигается прошедшее время:

exp(et/10)

Отрицание

не p

verify(~p)

Соединение

p и q

verify(p && q)

Дизъюнкция

p или q

verify(p || q)

Значение

если p, q. Логически эквивалентный значению p → q.

verify(~p || q)

Двусторонняя условная зависимость

p и q, или не p и не q. Логически эквивалентный двусторонней условной зависимости p ↔ q.

verify((p && q) || (~p && ~q))