Formal Methods in System Design

, Volume 28, Issue 2, pp 93–110

A Framework for Modeling the Distributed Deployment of Synchronous Designs

Authors

    • Department of Computer ScienceColumbia University
  • Alberto L. Sangiovanni-Vincentelli
    • EECS DepartmentUniversity of California at Berkeley
Article

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

Abstract

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.

Keywords

DesynchronizationGALSDistributed systemsLatency-insensitive design

Copyright information

© Springer Science + Business Media, LLC 2006