modelsim 后仿中的问题

请问，在modelsim使用dc得到的sdf文件和dc得到的网表文件进行后仿时，得到以下警告和错误

# Loading timing data from ../dc/sdf/HexToBcd.sdf
# ** Warning: (vsim-3448) ../dc/sdf/HexToBcd.sdf(546): Setting negative specify check constraint (-14 ps) to zero.
# ** Warning: (vsim-3448) ../dc/sdf/HexToBcd.sdf(567): Setting negative specify check constraint (-14 ps) to zero.
# **................
以上是载入sdf后的警告

当开始使用run命令进行后仿时
在run到大概400ns时，出现以下错误，并且，在波形窗口上出现红色的不定态波形，之后的run得到波形都是不定态
SDF Backannotation Successfully Completed.
#Time: 0 psIteration: 0Region: /testFile: ../bench/test.v
# ** Error: ../src/fs90a_c_generic_core_21.lib.src(15572): $setup( negedge D:330975 ps, posedge CK &&& RB:331232 ps, 485 ps );
#Time: 331232 psIteration: 1Instance: /test/HexToBcd/BcdData_reg_4_
................
请问发生警告和错误的原因

timing不满足啊

你好，能不能说的详细一点啊?

Error: ../src/fs90a_c_generic_core_21.lib.src(15572): $setup这里就是setup不满足啊，看看波形就明白了

你好，可是，我在另外一个机子上面仿真就没有这个错误。
还有，dc软件在综合后都没有报setup violation，请问是为什么啊?