VC Spyglass：你一定要懂的CDC错误

已于 2024-06-19 11:41:19 修改
阅读量532 收藏 2
点赞数 1
分类专栏： # CDC 文章标签： 其他
于 2024-06-04 10:29:33 首次发布
原文链接：https://aijishu.com/a/1060000000424522
版权
VC_Spyglass_verdi_UserGuide T-2022.06 中文翻译
q774318039a的博客
07-18 2140
点击Verification下的CDC, CDC/RDC, Lint，在data view视图中会显示检查的概要情况。这个界面下可以选择和两种视图。如果是CRC/RDC检查的消息摘要，还有多个导出按钮。
spyglass笔记
jerwey的博客
12-29 4485
spyglass lint
VC Spyglass CDC User Guide 2022
11-09
VC Spyglass CDC User Guide 2022
VC Spyglass CDC
weixin_46076353的博客
09-27 1490
支持自动推断clock/reset，不一定准确，需要double check。 create_generated_clock用于生成时钟。 CDC check分为四大类，Integrity Synchronization Convergence Glitch create_reset时虽然指明了clock，也需要set_input_delay明确指明reset属于哪个clock domain 对于clock mux的约束，可以采用mulit mode的形式，通过set_case_analysis区别。
VC Spyglass CDC(一）CDC与亚稳态、亚稳态电路的分类
Holden_Liu的博客
10-05 6930
CDC与亚稳态 Clock Domain Crossing (CDC): 跨时钟域设计中，信号adat从aclk domain传播到bclk domain；aclk与bclk之间的频率，相位没有固定关系，为asynchronous异步关系的时钟。 Metastability: 当adat在bclk采样点附近变化时，不满足后级flip-flop的setup/hold time，D端无法完成正确的锁存，Q端的输出在较长一段时间内处于不确定的振荡值，出现亚稳态的现象。 亚稳态传播给后级组合逻辑时，其不确定的X态会
VC Spyglass CDC跨时钟错误
hzmscut的博客
06-20 873
图5-1 所示为亚稳态的案例，F1是clk_A时钟域的寄存器，F2是clk_B时钟域的寄存器，clk_A和clk_B是异步时钟，寄存器F1的输出信号A发生跳变的时刻有可能与clk_B的上升沿发生重叠，此时对寄存器F2来说，在setup-hold time时间区间内，输入A没有保持稳定，因此寄存器F2输出的B是不确定状态，这就是亚稳态。例如下图7-29和7-28中，x和y的组合（x，y）在同步前只有（1,1）和（0,0）的组合，在同步后出现了（1,0）的组合，还有可能出现（0，1）组合。后期我们会持续更新。
VC Spyglass CDC(二）常见的CDC处理方法
Holden_Liu的博客
10-07 7758
CDC解决方案 EDA tool提供特定场景下的CDC处理单元，Synopsys的Building Block IP提供如下解决方案： 归类如下： CDC处理中，根据跨时钟域信号宽度，分为Signle-bit和Mulit-bit。VC Spyglass CDC将Single-bit归为control path，Mulit-bit归为data path Single-bit Single-bit分为level 类型和event 类型。 ...
SpyGlass-CDC-Training-03.pdf
06-07
SpyGlass-CDC工具正是针对这些问题提供的一种解决方案，它能进行详细的时钟与复位完整性检查，确保跨时钟域的数据传输正确无误。 时钟完整性检查主要包括以下几个方面： 1. **时钟树检查**：检查时钟树的结构，...
SpyGlass_LintRules_Reference.pdf
09-02
SpyGlass® LintRules Reference Guide 是一份详细的指南，主要针对Synopsys公司的静态分析工具SpyGlass LintRule的使用和理解。SpyGlass LintRule是Synopsys Verification Continuum平台的一部分，该平台专注于集成...
VC Spyglass CDC(三） 与Spyglass CDC的区别
Holden_Liu的博客
11-03 1万+
VC Spyglass CDC Synopsys Verification Continuum的静态验证平台VC static platform包含了VC LP，VC formal，VC Spyglass三种静态检查工具。Spyglass原是Atrenta旗下的静态检查工具，占据CDC/RDC sign-off工具的大部分市场份额。后来Synopsys收购了Atrenta，整合Spyglass推出了VC Spyglass。VC Spyglass作为Synopsys推出的期望继承Spyglass的新一代产品，
[flow] 1.Spyglass CDC
weixin_43475286的博客
07-27 1180
spyglass cdc
Spyglass之CDC检查（1）
zhong_ethan的博客
06-12 2万+
本文是SPYGLASS CDC检查系列第一篇文章。简单起见，本文的操作基本都在GUI模式下进行
Spyglass之CDC检查（2）
zhong_ethan的博客
06-15 1万+
本文主要介绍cdc_setup过程中的rules——clock_info1,reset_info1, setup_clock01，它们报告设计中的时钟树，复位树
Spyglass之CDC检查一
weixin_43274923的博客
03-27 4953
转：https://blog.csdn.net/zhong_ethan/article/details/106708346?spm=1001.2014.3001.5502 文章目录 熟悉界面约束文件CDC流程 本文是SPYGLASS CDC检查系列第一篇文章。简单起见，本文的操作基本都在GUI模式下进行。 熟悉界面 在Terminal中输入 spyglass -project test.prj & 新建或打开一个spyglass工程。 GUI界面最上面为工具栏，
Spyglass CDC 拾遗
qq_36406088的博客
06-01 2489
Spyglass CDC
spyglass进行CDC检查和RDC检查
u011974971的博客
07-15 1867
不管有多少个时钟域，完备的流程应该包含CDC检查，尤其有多个时钟域时，即使所有的时钟都来自于一个时钟源。CDC检查不仅检查跨时钟的信号是否满足setup和hold的时序要求，同时也检查时序约束的完备性（包括是否有漏掉的约束、错误的约束）。这个工具的作用是检查出不符合时序约束的设计，而工作的重点是根据检查报告确认设计无问题，关键点在理解时序的setup和hold。spyglass进行CDC检查网上已经有很多详细的介绍了，下面把参考的链接贴出来，方便后续查阅。
快速上手SpyGlass——CDC检查
热门推荐
沧海一升的博客
01-17 2万+
快速上手SpyGlass——CDC检查
VC SPYGLASS——RDC Verification
hzmscut的博客
06-04 622
电路处理过的，复位释放导致的亚稳态不存在， 主要是reset assertion时刻带来的亚稳态。每个模块的复位信号不一样，信号在跨异步复位域传输就会出现亚稳态的问题。2. 没有声明的soft reset(由reset控制，由dff q输出，经过组合逻辑，输入给其他dff作为reset),建议soft reset 显示定义出来。默认情况下，D-Q的reset传递是disable的，要设置才可以接收到原来的rst的，不设的话是没有reset传递的。1.当复位信号相同时，不存在RDC问题。
spyglass打不开
最新发布
01-17
### 解决Spyglass无法打开的问题 当遇到Spyglass无法正常启动的情况时，可以尝试以下几个方法来解决问题。 对于`feature could not be checked out`错误，解决方案涉及更新授权文件。具体操作是在命令行环境中使用最新的`Synopsys.dat`文件替换原有虚拟机中的同名文件[^1]： ```bash cp /path/to/new/Synopsys.dat /original/path/ ``` 之后再次尝试通过命令行启动Spyglass: ```bash spyglass ``` 如果收到 `[Error] Another session is already running or previous run had some issues` 的提示，则表明当前工作目录下存在正在运行的vc_spyglass实例或者是上次执行过程中出现了未处理的问题。此时应该先终止任何已存在的Spyglass进程，或者切换到其他路径重新开始会话[^2]: ```bash ps aux | grep spyglass # 查找并结束所有相关进程 kill -9 PID # 使用找到的PID号杀死特定进程 cd /new/directory # 或者简单地改变当前的工作目录 spyglass # 尝试重启工具 ``` 另外，在某些场景下，移除批处理模式参数也可以帮助排除因自动化脚本引起的异常情况。例如修改启动指令如下所示[^4]: ```bash spyglass –project training.prj –goals cdc/cdc_setup & ``` 尽管Lint检查并非总是必要的，但在开发流程中保持良好的实践习惯有助于提前发现潜在风险，减少后期维护成本。因此建议尽可能修复所有的警告信息而不是依赖于偶然性的成功编译结果[^3]。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值