相关阅读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目标查看错误是否解决。
 】Docker与容器（上篇）)
