An approach to interface synthesis

ABSTRACT

Abstract: Presents a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a channel to existing client/server modules, we consider the interface synthesis as part of the client/server module synthesis (which may contain the re-use of existing modules). The interface synthesis approach describes the basic transformations needed to transform the server interface description into an interface description on the client side of the communication medium. The synthesis approach is illustrated through a point-to-point communication, but is applicable to synthesis of a multiple client/server environment. The interface description is based on a formalization of communication events.

REFERENCES

• 1: G. Boriello and R. Katz. Synthesis of interface transducer logic. In proceedings oflCCAD, 1987.
• 2: Rolf Ernst , Jorg Henkel , Thomas Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test, v.10 n.4, p.64-75, October 1993 [doi>10.1109/54.245964]
• 3: D. Filo, D.C. Ku, C.N. Coelho, and G. De Micheli. Interface optimization for concurrent systems under timing constraints. IEEE Trans. on VLSI Systems, pages 268-281, September 1993.
• 4: B.G. Hald and J. Madsen. A flexible architecture representation for high-level synthesis. In proceedings of APCHDL, pages 247-250, 1994.
• 5: Axel Jantsch , Peeter Ellervee , Ahmed Hemani , Johnny Öberg , Hannu Tenhunen, Hardware/software partitioning and minimizing memory interface traffic, Proceedings of the conference on European design automation, p.226-231, September 19-23, 1994, Grenoble, France
• 6: Asawaree Kalavade , Edward A. Lee, A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France
• 7: Sanjiv Narayan , Daniel D. Gajski, Protocol generation for communication channels, Proceedings of the 31st annual conference on Design automation, p.547-551, June 06-10, 1994, San Diego, California, United States [doi>10.1145/196244.196530]
• 8: I. Park , Kevin O'Brien , Ahmed Amine Jerraya, AMICAL: Architectural Synthesis based on VHDL, Proceedings of the IFIP WG10.2/WG10.5 Workshops on Synthesis for Control Dominated Circuits, p.219-234, January 1993
• 9: Markus Voss , Tarek Ben Ismail , Ahmed A. Jerraya , Karl-Heinz Kapp, Towards a theory for hardware/software codesign, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France

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
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Performance attributes

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

General Terms:
Algorithms, Design, Performance, Theory

Keywords:
application program interfaces, channel optimization, client-server systems, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, interface synthesis, multiple client/server environment, one-sided interface description, point-to-point communication, server interface description, software reusability, subroutines