相关阅读VC Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828932.html?spm1001.2014.3001.5482本文是对VC Spyglass CDC Hands-on Training中第二个实验的翻译有删改Lab文件可以从以下链接获取。VC Spyglass CDC Hands-on Traininghttps://download.csdn.net/download/weixin_45791458/91214254?spm1001.2014.3001.5503实验二、CDC同步本实验旨在帮助用户掌握如何识别异步跨时钟域过程中可能出现的亚稳态问题并学习如何调试CDC同步违规。通过本实验用户将学习以下内容如何理解并设定CDC同步目标如何执行亚稳态检测及相关规则配置如何使用活动视图(Activity View)与属性窗口(Property Window)进行调试分析运行VC Spyglass1、进入实验二的目录。% cd VC_SpyGlass_Structural_CDC_Lab/Lab2_sync/2、从实验一的目录中复制约束文件training.sdc需要先完成实验一。% cp ../Lab1_setup/training.sdc .确保第35行create_reset {reset_n} -sync -type reset -sense low已被注释。3、打开vc_cdc.tcl文件注意在实验二中使用了check_cdc -type sync命令进行同步检查这与实验一不同。check_cdc -type sync4、使用批处理方式运行VC Spyglass并通过report_cdc查看违规信息。% vc_static_shell -f vc_cdc.tcl vc_static_shell report_cdc----------------------------------------------------------------------------- Management Summary ----------------------------------------------------------------------------- Stage Family Fatals Errors Warnings Infos ----- ---------- -------- -------- -------- -------- SETUP CLKPROP 0 0 0 56 SETUP RESET 0 23 6 8 SYNC CTRLPATH 0 13 0 17 SYNC DATAPATH 0 129 0 9 SYNC UNSYNC 0 38 0 0 ----- ---------- -------- -------- -------- -------- Total 0 203 6 90 ----------------------------------------------------------------------------- Tree Summary ----------------------------------------------------------------------------- Severity Stage Tag Count -------- ----- ----------------------------------- ----- error SETUP SETUP_RESET_ASSERT_MISSING 23 error SYNC CDC_UNSYNC_ASYNCRESET 20 error SYNC CDC_UNSYNC_CTRL 13 error SYNC CDC_UNSYNC_DATA 129 error SYNC CDC_UNSYNC_NOSCHEME 18 warning SETUP SETUP_RESET_DRIVING_NON_ASYNC_PIN 6 info SETUP SETUP_BBOXPIN_CONSTRAINED 1 info SETUP SETUP_CLOCK_PROPAGATED 12 info SETUP SETUP_DATA_CONSTANT 17 info SETUP SETUP_PORT_CONSTRAINED 23 info SETUP SETUP_PORT_IGNORED 3 info SETUP SETUP_RESET_PROPAGATED 8 info SYNC CDC_SYNC_ASYNCRESET 8 info SYNC CDC_SYNC_CTRL 17 info SYNC CDC_SYNC_DATA 1 -------- ----- ----------------------------------- ----- Total 2995、在vc_static_shell中启动GUI以查看读取结果。vc_static_shell start_gui6、在左侧的Violations面板中展开Sync-Stage并选择CDC_UNSYNC_CTRL标签违规信息窗口将以表格形式显示所有违规项如图1所示。图1 查看违规的详细信息CDC_UNSYNC_CTRL标签表示未同步的控制信号跨时钟域默认情况下违规信息按DestObject排序也可以点击ReasonInfoList标题表示按照原因进行排序。7、选择DestObject为u_ACS01/u_sync2s/meta/Q进行查看或者也可以通过搜索框查找点击窗口中的New Violation Schematic或者右键单击违规并在菜单中选择New Violation Schematic或者使用CtrlN快捷键如图2所示即可打开原理界面查看该违规的相关情况如图3所示。图2 打开违规的原理图图3 违规的原理图8、点击reset_n端口在Properties窗口查看其属性如图4所示。图4 查看reset_n端口的属性可以看到该信号被设置为异步复位约束这是有问题的异步复位不能作为同步复位使用否则会导致跨时钟域错误。9、打开约束文件training.sdc将其更改为同步复位注释第34行取消第35行的注释如下所示。### Reset #create_reset {reset_n} -async -type reset -sense low create_reset {reset_n} -sync -type reset -sense low重新运行VC Spyglass并查看SETUP_PORT_UNCONSTRAINED标签下的该违规项是否消失。实验三VC SpyglassCDC官方Hands-on Training三https://blog.csdn.net/weixin_45791458/article/details/149051378?spm1001.2014.3001.5501