它出现的原因是不同clock domain的data信号在未经过cross sync而直接使用,当采样到信号跳变沿时,会采样到不确定的状态(亚稳态),不确定状态在不同的fanout net上被当作的value值可能会不一样,可能会导致功能错误。
亚稳态的出现本身是一种概率,不好DEBUG,且出现后的行为也是不确定,所以很难DEBUG。
在同步之前不能是组合逻辑输出,否则可能会产生glitch,在cross时出现问题,这也是为什么需要register out之后再cross的原因
多个信号分别同步之后,再一起作组合逻辑,也会出问题,因为分别cross时可能会出现先后到达的问题,造成接收错误,有以下几种:
同一个信号,经过不同的同步器同步之后,也会出现类似convergence的问题。
异步复位需要采用异步复位同步释放的方式,并且产生异步复位需要由register out产生,不能用组合逻辑产生,否则可能会出现CDC问题。