Spyglass：跨时钟域同步（长延迟信号）

相关阅读

Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828934.html?spm=1001.2014.3001.5482

简介

        长延迟信号方案用于控制或数据信号跨时钟域同步，该方案将使用quasi_static约束的跨时钟域信号视为已同步，如图1所示。

// test.sgdc
quasi_static -name flag_a

图1 长延迟信号方案

        图2是Ac_sync01规则提供的Spreadsheet，其中展示了跨时钟域相关细节。

图2 Ac_sync01规则提供的Spreadsheet

        最后顺带一提，该跨时钟域方案支持源对象和目标对象为触发器或黑盒。

准静态信号

        准静态信号指的是那些在大多数时间内保持静态的信号（比如模式设置(setup)信号），可以用quasi_static约束指定或由Spyglass自动推断。

quasi_static约束

        当信号满足以下任一条件时，才能使用该约束：

• 如果信号的值在大多数时间内是静态的
• 如果目标触发器的时钟被停止
• 如果目标触发器上存在激活的复位信号
• 如果跨时钟域路径中的逻辑对亚稳态问题不敏感

自动推断

        当触发器的时钟信号被set_case_analysis约束设置为恒定值时，其输出信号将被Spyglass推断为准静态信号。

传播

        如果一个组合逻辑门的所有输入都为准静态信号，其输出也为准静态信号（如缓冲器和反相器）。准静态信号可以通过D锁存器（又称透明锁存器）传播。

        准静态信号默认不通过触发器/传统锁存器传播，可以使用num_quasi_seq_elem参数（默认值为0）指定传播深度，设置为-1将允许无限传播深度。