判定有效时序重构变换存在的时序约束条件

Timing Constraints for Computing the Feasible Retiming

讨论了时序重构优化的基本概念和算法，在改进的同步时序电路有向图表示的基础上，提出了一种判定有效时序重构变换存在时序约束条件的精确生成方法，结果表明在改进的有向图基础上运用此方法的时序重构优化算法能够得到比以前的算法更加优化的时钟周期。

Fundmental concepts and algorithms of retiming are discussed in this paper. An exact algorithm for generating the timing constraints for computing the feasible retiming is proposed in based on a modified directed multigraph of synchronous circuits. An example shows that the cycle time computed by retiming based on the exact algorithm is shorter than the original algorithm.