在spyglass中跑CDC时,建议按照严重性分,也可以按照module分。
shell下的Sg_shell:比如写了一个sdc/sgdc是否有效,如下图将sdc里面的一句话cp过来,这句话的意思是使用的工具是DC才可以,但是我们这里没有使用DC,所以输入之后没有打印任何东西。
如果直接写就可以识别到,并会打印出20
所以可以在sg_shell中检查sdc写的是否正确,不用每改一个标点符号都重新跑一遍spg flow.
当有了waiver文件,waiver tree就会显示waiver的信息。
选中就可以disable waiver files
在跑cdc吃的sgdc文件中的语法:
1. 包含当前design 和 sdc
current_design module_top
sdc_data -file module_top.sdc
2. 设置准静态
quasi_static -name (full path)
3.设置sync cell
sync_cell -name "comm_sync"
sync_cell -name "comm_sync_rst_dft"
4.定义复位信号
reset -name (full path) -value 0
若有的复位没定义,CDC会报Reports unconstrained async reset nets