Overview of the Ecos Project

  • Authors:
  • L. Freund;D. Dupont;M. Israel;F. Rousseau

  • Affiliations:
  • -;-;-;-

  • Venue:
  • RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents methodology and tools developed for the ECOS project. The main contributions of this project in hardware/software codesign include formal specifications of a system and hardware/software partitioning. By refinement, an acyclic graph is deduced from the formal specifications of the system, and this graph is the entry point of partitioning algorithms. The ECOS framework provides two partitioning algorithms selected according to the complexity of the system. The first one is exhaustive and is adapted to small systems. The second one lets the designer specify the trade-off between the heuristic execution time and the solution quality. Moreover, the partitioning methodology takes into account the impact of communication and includes communication constraints. Graphical tools are briefly described that facilitate the codesign process.