篇9-ended结构

1.序列的连接机制

(1) 使用序列起始点作为同步点的连接机制;

(2) 使用序列结束点作为同步点的连接机制;

这种机制通过给序列名字追加关键词“ended”来表示。例如，s.ended表示序列的结束点。关键词“ended”保存了一个布尔值，值的真假取决于序列是否在特定的时钟边沿匹配检验。

2.示例

(1) 序列s15a和s15b是两个需要多个时钟周期来完成的简单序列;

(2) 属性p15a检查序列s15a和序列s15b满足连着间隔一个时钟周期的延迟分别匹配检验。

(3) 属性p15b检查相同的协议,但使用了关键词“ended”.在这种情况下,两个序列在结束点同步.由于使用了结束点,两个序列间加上两个时钟周期的延迟,来保证断言检验的协议与p15a相同。