首页/新闻资讯/正文详情

Spyglass:CDC官方Hands-on Training(三)

发布时间:2026/11/6 6:18:11 来源:云帆数科 栏目:资讯中心
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目标查看错误是否解决。

相关推荐

蓝奏云少点几下鼠标怎么做?Lanzou-Enhanced 油猴脚本使用指南
蓝奏云少点几下鼠标怎么做?Lanzou-Enhanced 油猴脚本使用指南

蓝奏云少点几下鼠标怎么做?Lanzou-Enhanced 油猴脚本使用指南 【免费下载链接】UserScript 🐵 自用的一些乱七八糟 油猴脚本~ 项目地址: https://gitcode.com/gh_mirrors/us/UserScript 在蓝奏云网盘后台管理文件时,有几个细节很磨人… · 2026/11/6 6:17:11

dsh-our-free-model 用量看板完全指南:Token、生成速度与首字延迟一次看懂
dsh-our-free-model 用量看板完全指南:Token、生成速度与首字延迟一次看懂

dsh-our-free-model 用量看板完全指南:Token、生成速度与首字延迟一次看懂 【免费下载链接】dsh-our-free-model 在 dsh 里装上这个插件即可,无需登录、注册或填 API Key,就能使用包括 DeepSeek V4.1 Flash、Kimi K3 在内的前沿模型——完全免… · 2026/11/6 6:17:11

通信概念--虚拟局域网(VLAN)
通信概念--虚拟局域网(VLAN)

/* 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:17:11

UDP校验与二进制反码算法实战解析
UDP校验与二进制反码算法实战解析

1. 二进制反码检验与UDP校验的核心原理在计算机网络通信中,数据完整性校验是确保信息准确传输的关键环节。二进制反码校验(Ones Complement Checksum)作为一种经典的校验算法,被广泛应用于UDP协议等网络传输场景。这种校验方式通过… · 2026/11/6 7:10:26

智慧城市技术架构与典型应用场景解析
智慧城市技术架构与典型应用场景解析

1. 智慧城市的概念与核心价值智慧城市这个概念最早可以追溯到2008年IBM提出的"智慧地球"计划。经过十多年的发展,它已经从单纯的技术概念演变为城市数字化转型的重要战略。简单来说,智慧城市就是利用新一代信息技术,通过感知、分析… · 2026/11/6 7:10:26

泳池清洁机器人市场格局与中国品牌崛起
泳池清洁机器人市场格局与中国品牌崛起

1. 泳池清洁机器人行业格局演变全球泳池清洁机器人市场正在经历一场深刻的变革。作为从业超过十年的智能清洁设备领域专家,我亲眼见证了这个细分市场从有线时代向无线智能时代的跨越式发展。当前行业最显著的特征是:传统海外巨头增长乏力,而中… · 2026/11/6 7:10:26

CANopen电机调试实战:USBCAN、SDO/PDO与轨迹位置模式避坑
CANopen电机调试实战:USBCAN、SDO/PDO与轨迹位置模式避坑

简介:《CANopen快速调试手册》是一份面向CANopen接口电机调试初学者与工程人员的PDF操作指南,围绕意优CanOpenDemo上位机与第三方CANPro协议分析平台两条调试路径展开,帮助读者解决USBCAN设备连接、电机控制、参数读写与通信排查等实际问题。… · 2026/11/6 7:10:26

Tcllib 2.0矩阵数据结构:高性能计算与优化实践
Tcllib 2.0矩阵数据结构:高性能计算与优化实践

1. 项目概述:Tcllib 2.0中的矩阵数据结构在Tcllib 2.0这个Tcl标准库的增强版本中,struct::matrix模块提供了一个强大的二维矩阵数据结构实现。作为Tcl脚本语言中处理表格数据的核心工具,它填补了原生Tcl在结构化数据操作上的空白。我在处理气… · 2026/11/6 7:10:26

知识图谱与大模型融合:SubGraphRAG技术解析与实践
知识图谱与大模型融合:SubGraphRAG技术解析与实践

1. 知识图谱与大模型融合的技术痛点作为一名长期跟踪知识图谱与语言模型技术演进的从业者,我深刻理解当前技术融合的瓶颈所在。大语言模型(LLMs)虽然展现出惊人的文本生成能力,但在实际业务场景中经常遭遇两大致命伤:一… · 2026/11/6 7:09:26

双极步进电机控制实战:DRV8818PWPR与PIC18F86K22驱动调试
双极步进电机控制实战:DRV8818PWPR与PIC18F86K22驱动调试

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

STM32F207ZG + DRV8818PWPR 步进电机驱动实战解析
STM32F207ZG + DRV8818PWPR 步进电机驱动实战解析

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

DRV8818PWPR+dsPIC30F4013工业级双极步进电机控制方案
DRV8818PWPR+dsPIC30F4013工业级双极步进电机控制方案

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

三菱PLC数据采集到数据库的时序设计:Python+MC协议实战
三菱PLC数据采集到数据库的时序设计:Python+MC协议实战

/* 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 1:02:11

ASIC主模式RTL设计:状态机与三态驱动的流片级实现
ASIC主模式RTL设计:状态机与三态驱动的流片级实现

/* 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 1:02:11

STM32嵌入式C++开发:GDB调试与Renode仿真实战指南
STM32嵌入式C++开发:GDB调试与Renode仿真实战指南

/* 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 1:02:11

双极步进电机控制实战:DRV8818PWPR与PIC18F86K22驱动调试
双极步进电机控制实战:DRV8818PWPR与PIC18F86K22驱动调试

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

STM32F207ZG + DRV8818PWPR 步进电机驱动实战解析
STM32F207ZG + DRV8818PWPR 步进电机驱动实战解析

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

DRV8818PWPR+dsPIC30F4013工业级双极步进电机控制方案
DRV8818PWPR+dsPIC30F4013工业级双极步进电机控制方案

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

了解更多?预约专属演示

我们的顾问将为您一对一讲解产品与方案

企业微信二维码