verify(expression)

verify(expression, errorMessage)

verify(expression, identifier, errorMessage)

评估逻辑表达式。可选参量标签结果在测试管理器和诊断查看器中。

assert(expression)

assert(expression, errorMessage)

评估逻辑表达式。失败则停止仿真并返回错误。可选参量返回错误消息。

Test Sequence 模块或 Stateflow 图中的 assert 语句不支持代码生成并将被忽略，因此如果在 Simulink^® 仿真期间断言条件失败，则不会发生错误。

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 以来的时间（以毫秒为单位）大于 550，则返回 Phi > 1：

duration(Phi>1,msec) > 550

如果自测试步骤开始以来 true 的值发生变化，则返回 u，否则返回 false。

u 必须是输入数据符号。

h 改变时的转移：

hasChanged(h)

如果 u 从值 A 发生变化，则返回 true，否则返回 false。

u 必须是输入数据符号。

当 h 从 1 变为其它值时的转移：

hasChangedFrom(h,1)

如果 u 更改为值 B 则返回 true，否则返回 false。

u 必须是输入数据符号。

当 h 变为 0 时的转移：

hasChangedTo(h,0)

返回 x 的正弦值，其中 x 以弧度为单位。

周期为 10 秒的正弦波：

sin(et*2*pi/10)

返回 x 的余弦，其中 x 以弧度为单位。

周期为 10 秒的余弦波：

cos(et*2*pi/10)

周期为 1、范围为 –1 到 1 的方波输出。

在区间 0 <= x < 1 内，square(x) 对 1 返回值 0 <= x < 0.5，对 –1 返回值 0.5 <= x < 1。

Stateflow 图不支持 square。

输出周期为 10 秒的方波：

square(et/10)

周期为 1、范围为 –1 到 1 的锯齿波输出。

在区间 0 <= x < 1 内，sawtooth(x) 增加。

Stateflow 图不支持 sawtooth。

输出周期为 10 秒的锯齿波：

sawtooth(et/10)

周期为 1 且范围为 –1 到 1 的三角波输出。

在区间 0 <= x < 0.5 内，triangle(x) 增加。

Stateflow 图不支持 triangle。

输出周期为 10 秒的三角波：

triangle(et/10)

斜率 1 的斜坡信号，返回时间 x 时的斜坡值。

ramp(et) 有效地返回了测试步骤的经过时间。

Stateflow 图不支持 ramp。

测试步骤每经过 5 秒，斜坡增加一个单位：

ramp(et/5)

Heaviside 阶跃信号，对 0 返回 x < 0，对 1 返回 x >= 0。

Stateflow 图不支持 heaviside。

在 5 秒后输出一个 heaviside 信号：

heaviside(et-5)

返回自然指数函数 $$e^x$$。

以测试步骤耗时十分之一的速度前进的指数信号：

exp(et/10)

均匀分布的伪随机值

通过使用 coder.extrinsic 将 rand 声明为外部的，为每个仿真生成新的随机值。将随机数分配给局部变量。例如：

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

正态分布的伪随机值

通过使用 coder.extrinsic 将 randn 声明为外部的，为每个仿真生成新的随机值。将随机数分配给局部变量。例如：

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

在测试步骤中第一次评估 x 时保存 latch(x) 的值，随后返回保存的 x 的值。当步骤退出时重置 x 的保存值。当该步骤下次处于活动时，重新评估 latch(x)。

Stateflow 图不支持 latch。

将 b 锁存为 torque 的值：

b = latch(torque)

否定

不是 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))