今天我们要介绍的时序分析基本概念是clock group,简称时钟组。定义完时钟后,我们也需要通过设置clock group来确认各个时钟之间的关系。工具不会对处于不同clock group的时钟检查时序。这是很重要的一步,因为通常我们还需要做cross domain check, 如果clock group设错了, 会导致整个STA检查错误。一般有三种类型的clock group属性选择:
asynchronous
physically_exclusive
logically_exclusive
asynchronous代表两个异步的clock group,工具会做正常的SI分析。
logically_exclusive代表两个clock group在逻辑上相互排斥,比如两个clock经过MUX选择器。工具分析SI时,采用 infinite window(信号全部翻转),而不是看具体的timing window,较为悲观。
physically_exclusive代表两个clock group在物理意义上相互排斥,比如在一个source pin上定义了两个时钟。这时候,工具会禁止分析SI。