Sciweavers

Share
GLVLSI
2007
IEEE

A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops

9 years 1 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification methods. In synchronous models, a local temporal refinement that increases the delay in a single computation block may affect the functionality of the entire model. To preserve the system's functionality after temporal refinements we provide a synchronization algorithm that applies also to models with nested feedback loops. The algorithm adds pure delay elements to the model in order to balance the delay caused by refinement and to assure concurrent data arrival at computation blocks. It is done so that the refined model stays latency equivalent to the original model. The advantages of our approach are that (a) we remain fully within the synchronous model of computation, (b) we preserve the functionality of the existing computation blocks, and (c) we do not require additional computation resources, wrappe...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where GLVLSI
Authors Tarvo Raudvere, Ingo Sander, Axel Jantsch
Comments (0)
books