解决Slack为负值的一般方法

 

      Slack 为负值说明综合的电路的时序不能满足要求。解决的步骤如下：

1.       找到关键路径：通过 filter schematic 或者直接查看时序报告，一般，关键路径的起点是主输入或触发器，终点是主输出或触发器

2.       找出关键路径导致 slack 为负值的原因。原因可能是关键路径本身是一条假路径或者多周期路径。这两者可以通过修改时序约束来把此信息通告给综合器。如果不上述两者引起的，并且延迟值在目标延迟的 20 ％范围内，通常可以通过使用 -improve 选项来重新综合。

3.       再不行可以通过流水线， fsm explorer 和资源共享来实现规范设计，或是重新修改代码