Modelsim关于建立和保持时间的报错

保持时间不满足时，Modelsim会出现类似于以下格式的报错：

$hold( posedge clk &&& nosloadsclr:171807 ps, d:172013 ps, 212 ps );

上面想表达的意思是：在171807ps时钟沿处，要求的数据保持时间为212ps，但数据在172013ps处就翻转了，离保持时间的要求还差6ps。

$setup 和 $hold中各个数值的意义分析如下：