spyglass CDC方法学

最新推荐文章于 2024-09-29 17:37:07 发布

亓磊

最新推荐文章于 2024-09-29 17:37:07 发布

阅读量1.6w

点赞数 6

分类专栏： verilog 文章标签： spyglass

本文链接：https://blog.csdn.net/u011729865/article/details/52931366

版权

verilog 专栏收录该内容

108 篇文章 153 订阅

订阅专栏

参考文档来源spyglass工具文档(2015.12)。spydocviewer
clock-domain crossing(CDC).

CDC issues

亚稳态

跨时钟域的异步设计，存在setup和hold-time问题。会导致亚稳态产生。原文档有图有例子。
移除亚稳态，可以用以下方法：
1. 控制信号的同步
利用multi-flop同步。多级触发器，会把亚稳态值转变为干净的0或者1，之后才会传到下游逻辑。
2. 数据信号的同步
数据信号的同步，一般使用enable技术。跨时钟域的数据稳定之后，利用使能使得目的触发器捕获稳定的数据（所以不会产生建立保持时间的时序违反）。fifo，就是依赖格雷码指针的full/empty控制信号作为使能，解决数据的亚稳态问题。
数据同步的关键概念，就是如何保证数据不会在变化的情况下被捕获到。一般的数据跨时钟域，有图。qualifier（英文翻译：有资格的。在这里，一般就是多级触发器同步的控制信号，有责任保证跨时钟域的数据已经稳定可以被目的触发器正常捕获。）

spyglass CDC方法学流程

基于goal目标的流程。
1. cdc_setup
2. cdc_setup_check
建立必需的
- constraits（约束，时钟复位之类的。约束文件扩展名.sgdc）
- parameters（命令参数及options）

sdc2sgdc

sdc文件，可以转换为sgdc文件

黑盒子的clock，用assume_path约束

该goal会产生clock/reset的约束文件

默认可以不加任何约束，利用cdc_setup这个goal可以产生很多约束文件，比如
autoclocks.sgdc
autoresets.sgdc
generated_clocks.sgdc
cdc_setup_generated_clocks.sgdc
waive/set_case_analysis等。
但是需要检查修改确认后，然后放入spyglass执行脚本里。