Synthesis of system-level communication by an allocation-based approach

ABSTRACT

Abstract: Communication synthesis aims to transform a system with processes that communicate via high level primitives through channels into interconnected processes that communicate via signals and share communication control. We present a new algorithm that performs binding/allocation of communication units. This algorithm makes use of a cost function to evaluate different allocation alternatives. The proposed communication synthesis approach deals with both protocol selection and interface synthesis and is based on binding/allocation of communication units. We illustrate through an example the usefulness of the algorithm for allocating automatically different protocols within the same system.

REFERENCES

• Andr91: Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
• BIJe95: Tarek Ben Ismail , Ahmed Amine Jerraya, Synthesis Steps and Design Models for Codesign, Computer, v.28 n.2, p.44-52, February 1995 [doi>10.1109/2.347999]
• FiKu93: D. Filo, D. Ku, C. Coelho, and G. de Micheli, "Interface Optimisation for Concurrent Systems Under Timing Constraints", IEEE Trans. on VLSI, Vol. 1, pp 268-281, September 1993.
• GaVa95: Daniel D. Gajski , Frank Vahid, Specification and Design of Embedded Hardware-Software Systems, IEEE Design & Test, v.12 n.1, p.53-67, March 1995 [doi>10.1109/54.350695]
• HeEr94: Jörg Henkel , Rolf Ernst , Ullrich Holtmann , Thomas Benner, Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.96-100, November 06-10, 1994, San Jose, California, United States
• JeOB94: A.A. Jerraya, and K. O'Brien, "Solar: An Intermediate Format for System-Level Modeling and Synthesis", in "Computer Aided Software/Hardware Engineering", J.Rozenblit, K.Buchenrieder (eds), IEEE Press, Piscataway, N.J., pp 147-175, 1994.
• MiLa92: U. Lauther , Peter Duzy , Petra Michel, The Synthesis Approach to Digital System Design, Kluwer Academic Publishers, Norwell, MA, 1992
• NaGa94: S. Narayan, and D. Gajski, "Synthesis of System-Level Bus Interfaces", Proc. EDAC'94, Paris, France, pp. 395-399, February 1994.
• SaPr90: K. Salah, and R. Probert, "A Service-Based Method for the Synthesis of Communication Protocols", Int'l Journal of Mini and Microcomputers, Vol. 12, No. 3, pp. 97-103, 1990.
• Wolf94: W. Wolf, "Hardware/Software Co-Design of Embedded Systems", Proc. IEEE, Vol 82, No 7, pp 967-989, 1994.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Systems specification methodology

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Hardware/software interfaces

  G. Mathematics of Computing
  G.2 DISCRETE MATHEMATICS
      G.2.2 Graph Theory
          Subjects: Trees

General Terms:
Algorithms, Design

Keywords:
allocation-based approach, communication control, cost function, high level primitives, high level synthesis, interconnected processes, interface synthesis, protocol selection, protocols, system-level communication synthesis, systems analysis