尧图网络 高端网站定制 · 原创设计
免费咨询热线
400-888-6620
免费获取方案
Spyglass:CDC官方Hands-on Training(三)
相关阅读Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828934.html?spm1001.2014.3001.5482本文是对Spyglass CDC Hands-on Training中第一个实验的翻译有删改Lab文件可以从以下链接获取。Spyglass CDC Hands-on Traininghttps://download.csdn.net/download/weixin_45791458/90875640实验三、CDC结构验证本实验旨在帮助用户掌握如何分析并解决跨时钟域中出现的结构性问题特别是与亚稳态(metastability)相关的问题。通过本实验用户将学习以下内容执行并理解cdc_verify_struct目标理解与亚稳态相关的检查规则学习如何修改参数以影响检查学习使用使用表格查看器验证同步复位1、首先编辑SGDC/training.sgdc文件并将同步复位约束注释如图1所示。图1 注释同步复位约束2、选择Goal Setup阶段勾选cdc/cdc_verify_struct并点击Run Goal(s)如图2所示。图2 选择目标3、在Violations窗口选择Group By Goal by Rule这表示将结果按照目标-规则的方式分组如图3所示。图3 选择分组方式4、点击cdc/cdc_verify_struct目标前的加号以展开分组结果如图4所示。图4 cdc/cdc_verify_struct目标5、选中Ac_unsync01错误右键单击在菜单中选择Open Spreadsheet将打开一个表格显示所有未同步的跨时钟域如图5所示。图5 打开表格6、点击窗口上的符号可以使每项不换行显示每个未同步的目标触发器由一项表示如图6所示可以看出其中有些违规项被分组了比如编号4和5的违规项这是Spyglass中的Instance-Based Grouping行为将disable_inst_grouping参数设置为yes可以禁止这种分组。图6 表格不换行显示7、点击D列DEST.以目标触发器排序找到值为training.u_ACS01.u_sync2s.meta的项目如图7所示。图7 排序并寻找8、单击该项目将打开二级表格展示了该项跨时钟域的详细信息如图8所示。图8 跨时钟域详细信息9、使用快捷键I或者点击窗口上的符号查看原理图如图9所示。图9 同步复位10、从图9中可以看出触发器输入端的与门构成了同步复位逻辑沿着与门输入引脚回溯到主输入端口右键单击与门的输入引脚in1在菜单中选择Show Input Cone-Primary Inputs以确认这确实是一个复位信号如图10所示。图11 展示输入锥11、使用Schematic Debug Data窗口单击选择线网主输入端口看到该端口只设置了一个异步复位约束这会导致跨时钟域错误如图12所示。图12 观察端口信息12、取消SGDC/training.sgdc文件中对于同步复位约束的注释重新运行cdc/cdc_verify_struct目标查看错误是否解决。
RELATED

相关推荐

光伏逆变器与算力电源融合的光储算一体化供电方案解析

光伏逆变器与算力电源融合的光储算一体化供电方案解析

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

📅 2026/11/6 6:13:33
ESP32-S3调试遇GDB与rm报No match?shell通配符和工具链路径才是真坑

ESP32-S3调试遇GDB与rm报No match?shell通配符和工具链路径才是真坑

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

📅 2026/11/6 6:13:33
ESP32多应用共享Flash:分区表规划与数据隔离实战

ESP32多应用共享Flash:分区表规划与数据隔离实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

📅 2026/11/6 6:13:33
MORE NEWS

更多资讯

📰

ticket-purchase 零基础上手:大麦自动抢票从选城市场次到提交订单的完整链路

ticket-purchase 零基础上手:大麦自动抢票从选城市场次到提交订单的完整链路 【免费下载链接】ticket-purchase 大麦自动抢票,支持人员、城市、日期场次、价格选择 项目地址: https://gitcode.com/GitHub_Trending/ti/ticket-purchase ticket-pur…

📰

Folia 全屏歌词播放器怎么安装?新手一次装对,从下载到首次播放

Folia 全屏歌词播放器怎么安装?新手一次装对,从下载到首次播放 【免费下载链接】folia-major 专注于绚丽的歌词动画效果的本地音乐/navidrome/第三方多平台在线音乐播放器 A multi-platform music player for local files, Navidrome, and online stream…

📰

懂个锤子Vue VueRouter路由深入浅出

VueRouter路由深入浅出 VueRouter 介绍: Vue Router 是 Vue.js官方的路由管理器: 极大地简化了在 单页面应用程序 SPA-Single Page Application: 中构建导航和页面切换的复杂性; 单页面应用程序 SPA 单页面应用程序SPA&#…

📰

三步装完并跑通你的第一个 AI Agent:Hugging Face Agents Course 完整安装指南

三步装完并跑通你的第一个 AI Agent:Hugging Face Agents Course 完整安装指南 【免费下载链接】agents-course This repository contains the Hugging Face Agents Course. 项目地址: https://gitcode.com/GitHub_Trending/ag/agents-course Hugging Face …

📰

如何给 macOS 应用接入自动更新:Sparkle 完整集成与避坑指南

如何给 macOS 应用接入自动更新:Sparkle 完整集成与避坑指南 【免费下载链接】Sparkle A software update framework for macOS 项目地址: https://gitcode.com/gh_mirrors/sp/Sparkle Sparkle 是 macOS 平台广泛使用的开源自动更新框架:负责检查…

📰

技术写作的伦理边界与内容安全准则

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

读完文章,想聊聊您的网站?

告诉我们您的行业与需求,资深顾问一对一梳理方案与报价,全程免费。

📞 💬