4.2.2 Properties of retiming /96 The weight of the retimed route p=Vo>V1>...Vk is given by w(p)=w(p)+r(Vk)- r(Vo) Retiming does not change the number of delays in a cycle. ■ Retiming does not alter the iteration bound in a DFG. As the number of delays in a cycle does not change. -W-(p)=w(p)+r(Vo)-r(Vo)=w(p) Adding the constant value j to the retiming value of each node does not change the mapping from G to G.. 2021年2月 62021年2月 6 4.2.2 Properties of retiming  The weight of the retimed route p=V0V1…Vk is given by wr (p)=w(p)+r(Vk )- r(V0 )  Retiming does not change the number of delays in a cycle.  Retiming does not alter the iteration bound in a DFG.  As the number of delays in a cycle does not change.  wr (p)=w(p)+r(V0 )-r(V0 )=w(p)  Adding the constant value j to the retiming value of each node does not change the mapping from G to Gr