ECOS A Generic Codesign Environment for the Prototyping of Real Time Applications “From Formal Specifications to Hardware-Software Partitioning”

  • M. Aiguier
  • J. Benzakki
  • G. Bernot
  • S. Beroff
  • D. Dupont
  • L. Freund
  • M. Israël
  • F. Rousseau
Part of the Current Issues in Electronic Modeling book series (CIEM, volume 8)

Abstract

The work presented in this article results from a close cooperation between the teams of software design and architecture of the laboratory LaMi of Evry. Our purpose is the definition of hardware and software design techniques for heterogeneous architectures with case studies of telecommunication systems.The possibility of defining at the highest level of abstraction the specification of a hardware-software system allows to verify its coherence (prototyping, test, proof...). Oriented-object algebraic specifications (éTOILE-specifications) provide primitives tailored to the user’s behavior for this type of application. The design of the system by successive refinements of initial specifications results in simulatable codes for architecture and/or software targets and allows to verify coherence at every level. A partitioning algorithm is then used to choose between software and hardware implementations.

This research project will define hardware and software design techniques for heterogeneous architectures. These techniques begin to be used in a software environment allowing the rapid design of applications. We develop this tool in adequation with the study of telecommunication applications.

In addition, the set of specifications and internal representations of the design tool will be based on standards (VHDL, C and CDFG) allowing it to be easily opened to other tools or design methods. The resulting architectures will be described in VHDL at a RTL level, and will be compatible with the entry languages of industrial tools for ASIC or FPGA synthesis.

Keywords

Object Type Design Environment General Library Usual Operation Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. Aiguier, “ Spécifications algébriques par objets: une proposition de formalisme et ses applications é l’implantation abstraite ”, PhD University Paris-Sud, Orsay, France, January 1995.Google Scholar
  2. [2]
    ASAR: “ Towards a Multi-formalism Framework for Architectural Synthesis : the ASAR Project Proc. of the Int. Workshop on Hardware-Software Co- design, Sept. 94.Google Scholar
  3. [3]
    G. Barrett “ Formal Methods Applied to a Floating-Point Number System ”, IEEE Trans, on Software Eng., May 1989, pp 611–617.Google Scholar
  4. [4]
    E. Barros, W. Rosentiel, X. Xiong “ Hardware/Software Partitioning with UNITY ” Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.Google Scholar
  5. [5]
    G. Bernot, M. Bidoit, “ Proving the correctness of algebraically specified software: modularity and observability issues ”, Proc. AMAST ‘91, 2nd International Conference on Algebraic Methodology of Software Technology, Tech. Report of the University of Iowa, 1991.Google Scholar
  6. [6]
    M. Bidoit, “ The stratified loose approach: a generalisation of initial and loose semantics ”, Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, Gullane, Scotland, Springer Verlag L.N.C.S, pp. 1–22,1987.Google Scholar
  7. [7]
    M. Bidoit, “ Pluss, un langage pour le développement de spécifications algébriques modulaires ”, PhD, University Paris-Sud, Orsay, France, 1989.Google Scholar
  8. [8]
    K. Buchenreider, “ Hardware-Software Codesign: Codesign and Concurrent Engineering ” HOT TOPICS Computer Mag, Jan. 1993, pp. 85–87.Google Scholar
  9. [9]
    G. De Micheli, “ Computer-Aided Hardware/Software Codesign ”, IEEE Micro, pp. 10–16, August 1994.Google Scholar
  10. [10]
    R. Ernst, J. Henkel “ Hardware-Software Codesign of Embedded Controllers Based on Hardware Extraction ”, Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.Google Scholar
  11. [11]
    J. Fiadeiro, J.F. Costa, A. Sernadas, and T. Maibaum, “ Objects Semantics of Temporal Logic Specification ”, 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, Springer-Verlag LNCS 655, pp. 236–253, 1991.Google Scholar
  12. [12]
    D.W Frank, M.K. Purvis, “ Hardware/Software Co-design: A Perspective ”, Proc. 13th ICSE, 1991, pp 344–352.Google Scholar
  13. [13]
    J. A. Goguen, R. Diacanescu, “ Towards an Algebaic Semantic for the Object Paradigm ”, Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, joint with 4th COMPASS Workshop, Caldes de Malavella, Spain, pp. 1–29, October 1992.Google Scholar
  14. [14]
    J.V. Guttag, J.J. Horning, “ The algebraic specification of abstract data types ”, Acta Informatica, 10, pp. 27–52, 1978.MathSciNetMATHCrossRefGoogle Scholar
  15. [15]
    J.V. Guttag, J. Meseguer, “ Unifying functional, object-oriented and relational programming with logical semantics ”, Research Report SRI-CSL-87–7, SRI International, Menlo Park, California, 1987.Google Scholar
  16. [16]
    R.K. Gupta, C.N. Coelho, G. De Micheli, “ Program Implementation Schemes for Hardware-Software Systems ”, Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.Google Scholar
  17. [17]
    R.K. Gupta, G. De Micheli, “ Hardware-Software Cosynthesis for Digital Systems ” , IEEE Design & Test of Computers, Sept. 1993, Vol. 10, N° 3, pp. 29–41.Google Scholar
  18. [18]
    Henkel, T.H. Benner, R. Ernst, “ Hardware generation and partitioning effects in the COSYMA system ”, Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.Google Scholar
  19. [19]
    A. Kalavade, E.A. Lee, “ Manisfestations of heterogeneity in Hardware/Software Codesign ”, Proc. of DAC, pp. 437–438, June 1994.Google Scholar
  20. [20]
    S. Kumar, J.H. Aylor, B.W. Johnson, W.A. Wulf, “ Framework for Hardware/Software Codesign ”, Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.Google Scholar
  21. [21]
    S. Kumar, J.H. Aylor, B.W. Johnson, W.A. Wulf, “ Exploring Hardware/Software Abstractions & Alternatives for Codesign ”, Handouts of the International Workshop on Hardware Software Co-Design, Oct. 1993.Google Scholar
  22. [22]
    B. Meyer, “ Object-oriented software construction ”, Prentice-Hall, 1988.Google Scholar
  23. [23]
    T. Moineau, “ Réutilisation de logiciel: une approche algébrique, son application é Ada et les outils associés ”, Ph.D.Thesis, University Paris-Sud, Orsay, January 1991.Google Scholar
  24. [24]
    P.G. Paulin, J.P. Knight, “ Force-Directed Scheduling for the Behavioral Synthesis of ASIC’s ”, IEEE Trans, on Computer-Aided Design, Vol. 8, n° 6, pp. 661–679, June 1989.CrossRefGoogle Scholar
  25. [25]
    A. Sernadas, C. Sernadas, J.F. Costa, “ Object Specification Logic ”, Internal Report, INESC, University of Lisbon, 1992.Google Scholar
  26. [26]
    F. Vahid, J. Gong, D. Gajski: “ A Binary-Constraint Search Algorithm for Minimizing Hardware during Hardware/Software Partitionning ”, Proc. of the Euro-DAC, pp. 214–219, Sept. 1994.Google Scholar
  27. [27]
    N.S. Woo, A.E. Dunlop, W. Wolf, “ Codesign from Cospecification ”, IEEE Computer Magazine, Jan. 1994, pp 42–47.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • M. Aiguier
    • 1
  • J. Benzakki
    • 1
  • G. Bernot
    • 1
  • S. Beroff
    • 1
  • D. Dupont
    • 1
  • L. Freund
    • 1
  • M. Israël
    • 1
  • F. Rousseau
    • 1
  1. 1.LaMI, Laboratoire Mathématiques/InformatiqueUniversité d’Evry Val d’EssonneBd des CoquibusFrance

Personalised recommendations