SVA 断言16.9 Sequence operations序列运算翻译笔记（12）
16.9.1运算优先级
如下所示，优先级从上到下：
16.9.2 序列重复
序列内子序列连续重复的效果，可以通过明确地（显式）迭代子序列来实现：
//例1
a ##1 b ##1 b ##1 b ##1 c使用连续重复运算符 [*3] ，显示了三次迭代，这种顺序行为被更简洁地指定：
a ##1 b [*3] ##1 c//例2
a [*3] means a ##1 a ##1 aa [*0] //表示一个空序列结果空序列是指匹配零个时钟信号，而不匹配任何正时钟信号的序列，以下规则适用于将序列与空序列串联，空序列表示为empty，序列表示为seq：
(empty ##0 seq) //不会产生匹配
(seq ##0 empty) //不会产生匹配
(empty ##n seq), 其中n大于0, 等价于(##(n-1) seq).
(seq ##n empty), 其中n大于0, 等价于(seq ##(n-1) `true).//例3
b ##1 ( a[*0] ##0 c)例3不生成序列的匹配项。
//例4
b ##1 a[*0:1] ##2 c
//等价于
b ##2 c or b ##1 a ##2 c语法在同一序列允许延迟和重复的组合：
`true ##3 (a [*3]) // means `true ##1 `true ##1 `true ##1 a ##1 a ##1 a
(`true ##2 a) [*3] // means (`true ##2 a) ##1 (`true ##2 a) ##1// (`true ##2 a), which in turn means `true ##1 `true
##1// a ##1 `true ##1 `true ##1 a ##1 `true ##1 `true ##1 a//例5
(a ##2 b) [*5]
//等价于
(a ##2 b ##1 a ##2 b ##1 a ##2 b ##1 a ##2 b ##1 a ##2 b)具有最小min和最大max迭代次数范围的重复，能用连续重复运算符[* min:max]表示。
//例6
(a ##2 b)[*1:5]
//等价于
(a ##2 b)
or (a ##2 b ##1 a ##2 b)
or (a ##2 b ##1 a ##2 b ##1 a ##2 b)
or (a ##2 b ##1 a ##2 b ##1 a ##2 b ##1 a ##2 b)
or (a ##2 b ##1 a ##2 b ##1 a ##2 b ##1 a ##2 b ##1 a ##2 b)同样
//例7
(a[*0:3] ##1 b ##1 c)
//等价于
(b ##1 c) //注意：a重复次数为0，则其后所跟##1 不执行
or (a ##1 b ##1 c)
or (a ##1 a ##1 b ##1 c)
or (a ##1 a ##1 a ##1 b ##1 c)有限的无限重复的情况：
//例8
a ##1 b [*1:$] ##1 c //a在第一拍为真，c在最后一拍为真，b严格在第一和最后一拍之间为真通过精确计数指定重复的迭代次数，相当于指定最小重复次数等于最大重复次数的范，即，seq[*n]等同于seq[*n:n]。
非连续精确重复将布尔表达式而不是序列作为操作数，它指定布尔表达式在不一定连续且在最后一次迭代匹配时，结束的时钟点处的迭代匹配：
//例9
a ##1 b [->2:10] ##1 c在第一拍a为真，在最后一拍c为真，b在倒数第二拍上为真，包括倒数第二拍，在b为真的第一拍和最后一拍之间至少有2个、最多有10个不一定是连续的时钟节拍。
例9等价于
a ##1 ((!b[*0:$] ##1 b) [*2:10]) ##1 c//例10
a ##1 b [=2:10] ##1 c
//等价于
a ##1 ((!b [*0:$] ##1 b) [*2:10]) ##1 !b[*0:$] ##1 c