Sciweavers

Share
CODES
2007
IEEE

Synchronization after design refinements with sensitive delay elements

9 years 1 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at a high level of abstraction. In synchronous models, a local refinement increasing the delay in a single computation block may affect the functionality of the entire model. We provide a synchronization algorithm that preserves the system's functionality after design refinements, by using additional synchronization delays and making some delays sensitive to their input values. The refined and synchronized model stays latency equivalent to the original model. The advantages of our approach are the following: (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, specific communication protocols, wrapper circuits around computation blocks or schedulers. Categories and S...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2007
Where CODES
Authors Tarvo Raudvere, Ingo Sander, Axel Jantsch
Comments (0)
books