8、SIGNAL语言中的信号关系与编程单元

SIGNAL语言中的信号关系与编程单元

1. 信号间的关系

1.1 原始多时钟关系

1.1.1 欠采样

欠采样运算符可在给定条件下提取序列的子部分。其语法为： s2 := s1 when b ，其中 s1 和 s2 是相同类型的两个信号， b 是布尔信号。

定义如下：
[
s2_{\tau} =
\begin{cases}
s1_{\tau} & \text{if } b_{\tau} = \text{true} \
? & \text{otherwise}
\end{cases}
]

s2 的时钟定义为 s1 的时钟与 b 为 true 的时刻集合的交集，记为 [b] 。

示例如下：
| t | t0 | t1 | t2 | t3 | t4 | t5 | t6 | t7 | t8 | … |
| — | — | — | — | — | — | — | — | — | — | — |
| s1 | - | - | 5 | - | 4 | 8 | 7 | 3 | -1 | … |
| b | - | - | t | f | - | f | t | - | t | … |
| s2 | - | - | 5 | - |