关于spyglass的格雷码检查的问题

tjz1127

请问下各位佬，我在使用spyglass进行cdc检查时，这里的多bit跨时钟用了格雷码用clk_a打拍后传输，gray_code用clk_a打拍后变为gray_code_reg，然后这里是报出来clk_b采样gray_code_reg时数据不符合格雷码格式编码，我查看了报错点的waveform，如图，发现他检查值从09变为00才认为检查失败，我查看了gray_code_reg的fan in，发现是全0呀，他这里检查是基于什么检查的呢，脚本需要对于这个规则进行什么setup的约束吗，不太理解这里检查的机制。