Formal Methods in System Design

, Volume 28, Issue 2, pp 93–110

A Framework for Modeling the Distributed Deployment of Synchronous Designs

  • Luca P. Carloni
  • Alberto L. Sangiovanni-Vincentelli

DOI: 10.1007/s10703-006-7842-x

Cite this article as:
Carloni, L.P. & Sangiovanni-Vincentelli, A.L. Form Method Syst Des (2006) 28: 93. doi:10.1007/s10703-006-7842-x


Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis.When the target architecture is a distributed system, implementing a synchronous specification as a synchronous design may be inefficient in terms of both size (memory for software implementations or area for hardware implementations) and performance. A more elaborate implementation style where the basic synchronous paradigm is adapted to distributed architectures by introducing elements of asynchrony is, hence, highly desirable. Building on the tagged-signal model, we present a modeling for the distributed deployment of synchronous design. We offer a comparative exposition of various design approaches (synchronous, asynchronous, GALS, latency-insensitive, and synchronous programming) and we provide some insight on the role of signal absence in modeling synchronization in distributed concurrent systems. Finally, we compare two distinct methodologies, desynchronization and latency-insensitive design, and we elaborate on possible options to combine their results.


Desynchronization GALS Distributed systems Latency-insensitive design 

Copyright information

© Springer Science + Business Media, LLC 2006

Authors and Affiliations

  • Luca P. Carloni
    • 1
  • Alberto L. Sangiovanni-Vincentelli
    • 2
  1. 1.Department of Computer ScienceColumbia UniversityNew YorkUSA
  2. 2.EECS DepartmentUniversity of California at BerkeleyBerkeleyUSA

Personalised recommendations