③ 吃tech_lib.f阶段报Detailed Error Trace,有可能是tech_lib中有lib路径不对,但它说的很隐晦…,如:Error 1.3
④ 如果在makefile export的变量如:export project = path,想在ip.prj中使用:set project
e
n
v
(
p
r
o
j
e
c
t
)
<
/
p
>
<
p
d
a
t
a
−
p
i
d
=
"
u
Z
I
l
f
4
L
s
"
>
⑤
在
r
t
l
.
f
中
,
r
t
l
、
i
n
c
l
u
d
e
的
p
a
r
a
m
e
t
e
r
、
d
e
f
i
n
e
等
文
件
及
D
W
,
直
接
申
明
p
a
t
h
可
能
找
不
到
,
这
时
连
路
径
也
需
要
申
明
:
+
i
n
c
d
i
r
+
env(project)</p><p data-pid="uZIlf4Ls">⑤ 在rtl.f中,rtl、include的parameter、define等文件及DW,直接申明path可能找不到,这时连路径也需要申明:+incdir+
env(project)</p><pdata−pid="uZIlf4Ls">⑤在rtl.f中,rtl、include的parameter、define等文件及DW,直接申明path可能找不到,这时连路径也需要申明:+incdir+path/ip/
① Filter violations by using the cdc_false_path constraint.
cdc_false_path -from_type data -from “path”
② 一些报出问题但是是静态的寄存器可以设置quasi-static:
Check for mode or control-status registers that are static or quasi-static.
sgdc: quasi-static -name “xxx.reg”
③ set_case_analysis is properly defined so that multiple clocks do not
control the same flip-flop.
if you do not configure the MUX by applying set_case_analysis on its select pin, multiple clocks may drive the same flip-flop. As a result, SpyGlass may infer the path between these flip-flops as asynchronous crossings even if these paths are synchronous. This results in false unsynchronized violations, which results in noise and more time for CDC verification closure.
④给gate添加sync类型:enable_and_sync, enable_mux_sync, and
⑥ 格雷码:Typically, with control buses crossing clock domains, designers implement gray code schemes to handle such issues. Using a gray-encoded implementation for control bus signals ensures that only one bit of the control signal changes during any one clock cycle.
⑦ 指定fifo: fifo -memory “uart_top.u13.u4”
⑧ 同步逻辑前允许组合逻辑:allow_combo_logic, Use this parameter to allow combinational logic between synchronizers. Transparent latches (enabled latch) are also considered as combinational elements.
⑨ cdc_reduce_pessimism:Set this parameter to an appropriate value to ignore clock domain crossings involving black box instances and clock domain crossings with destinations having unused, hanging, or blocked outputs. similar to cdc_false_path or quasi_static.