PT 提的sdf ，timing check 部分在后仿真中没有起作用

*Novas* End of traversing the scope(tb_chip)
driver initialization ok！
Doing SDF annotation ...... Done
Test begin！
*******************************************************************
the testname is 00000003
*******************************************************************
theHH BTA_END is163122300

"/project/StdCell_lib/ush130h32sc_2013q2_v3r3/Verilog/ush130h32sc.v", 4437: Timing violation in tb_chip.U_impro.U_ddr3_top.U_tx_phy.data_out_n_reg
$setuphold( posedge CK &&& (flag == 1'b1):177498792, posedge D:177498700, limits: (100,50) );

"/project/StdCell_lib/ush130h32sc_2013q2_v3r3/Verilog/ush130h32sc.v", 4438: Timing violation in tb_chip.U_impro.U_ddr3_top.U_tx_phy.cmd_out_n_reg
$setuphold( posedge CK &&& (flag == 1'b1):177498792, negedge D:177498700, limits: (100,50) );

"/project/StdCell_lib/ush130h32sc_2013q2_v3r3/Verilog/ush130h32sc.v", 4437: Timing violation in tb_chip.U_impro_chip.U_ddr3_top.U_tx_phy.div_en_cnt_reg_1_
$setuphold( posedge CK &&& (flag == 1'b1):177498792, posedge D:177498700, limits: (100,50) );
以上是simulation 中的warning
----------------------------------------------------------------------------------------------------------------
(CELL
(CELLTYPE"DFFRDL")
(INSTANCEU_tx__phy/data_out_n_reg)
(DELAY
(ABSOLUTE
(IOPATH RB Q() (0.997::0.997))
(IOPATH RB QB(0.884::0.884) ())
(IOPATH (posedge CK) Q(1.229::1.229) (0.848::0.848))
(IOPATH (posedge CK) QB(0.736::0.736) (1.123::1.123))
)
)
(TIMINGCHECK
(WIDTH (negedge RB) (::1.687))
(WIDTH (posedge CK) (::0.375))
(WIDTH (negedge CK) (::0.544))
(SETUPHOLD (posedge D) (posedge CK) (::0.271) (::-0.232))
(SETUPHOLD (negedge D) (posedge CK) (::0.208) (::-0.038))
(RECREM (posedge RB) (posedge CK) (::0.315) (::-0.278))
)
)
这个是sdf 中对应的Timingcheck 部分。

我从simulation的warning （红色部分）中觉得sdf的timing check 没效果，好像有的是仿真库文件中的值 ，但是编译过程sdf 反标的log中没有看到error， 也显示了反标结束， sdf 反标的warning中没有关于上面几个寄存器的内容。 我第一次搭建后仿真环境，不知道有什么地方出了问题，希望各位大神指点一下
反标过程中的warning，基本上是 negtive value cannot handle by the switch -negdelay

(CELL
(CELLTYPE "DFFRDL")
(INSTANCE U_tx_lp_phy/data_out_n_reg)
(DELAY
(ABSOLUTE
(IOPATH CK Q (1.153::1.153) (0.773::0.773))
(IOPATH CK QB (0.674::0.674) (1.061::1.061))
(IOPATH RB Q () (1.024::1.035))
(IOPATH RB QB (0.924::0.935) ())
)
)
(TIMINGCHECK
(WIDTH (negedge CK) (0.559::0.559))
(WIDTH (posedge CK) (0.342::0.342))
(WIDTH (negedge RB) (1.875::1.935))
(SETUP (posedge D) (posedge CK) (0.273::0.361))
(SETUP (negedge D) (posedge CK) (0.260::0.296))
(SETUP (posedge RB) (posedge CK) (0.391::0.401))
(HOLD (posedge D) (posedge CK) (-0.272::-0.228))
(HOLD (negedge D) (posedge CK) (-0.114::-0.084))
(HOLD (posedge RB) (posedge CK) (-0.359::-0.351))
)
)
这是我重新提的一个sdf ，问题依旧