Retimeringens kraft begränsas ofta av den underliggande topologin i en beräkningsstruktur. Vi kombinerar kraften i retimering med en komplett uppsättning algebraiska omvandlingar i ett iterativt förbättringsramverk, där retimering och algebraiska hastighets-up algoritmer successivt tillämpas, så att den senare möjliggör den förra. Den viktigaste delen av metoden är en ny algebraic speed-up algoritm som används för första gången i hög nivå syntes för omvandlingar av algebraiska uttryck så att en godtycklig uppsättning inmatningstider och utdata som krävs tider är uppfyllda. Eftersom den nya metoden endast för förseningar framåt och retimering görs lokalt och mycket sällan, beräknar den också alltid det nya initialtillståndet effektivt. Det föreslagna tillvägagångssättet har gett resultat som är bättre eller lika med de bästa som tidigare publicerats på alla exempel på riktmärken och på flera nya exempel på verkliga förhållanden.
I ett sådant försök Iqbal et al. REF föreslog en algebraisk upphastighetsalgoritm som uppfyller en godtycklig uppsättning tidsbegränsningar för in- och utgångar.
Critical path minimization using retiming and algebraic speed-up
{'venue': "DAC '93", 'journal': None, 'mag_field_of_study': ['Computer Science']}