• DocumentCode
    3265774
  • Title

    Towards automating hardware/software co-design

  • Author

    El-Kharashi, M.W. ; El-Malaki, M.H. ; Hammad, S. ; Salem, A. ; Wahdan, A.

  • Author_Institution
    Dept. of Comput. & Syst. Eng., Ain Shams Univ., Cairo, Egypt
  • fYear
    2004
  • fDate
    19-21 July 2004
  • Firstpage
    189
  • Lastpage
    192
  • Abstract
    We propose a new flow for hardware/software co-design that forms a base for further automation attempts of the co-design process. Our proposed flow starts with a software-only solution in which all system functionality is described as embedded software written in C targeting a selected platform. Then, the flow iterates through co-verification, profiling, partitioning, and co-synthesis until the design criteria are met. We present two test cases to show the effectiveness of our proposed methodology.
  • Keywords
    C language; embedded systems; formal verification; hardware-software codesign; codesign automation; cosynthesis; coverification; embedded software; hardware-software codesign; Automation; Computer architecture; Computer graphics; Embedded software; Hardware; Software performance; Software tools; System performance; Systems engineering and theory; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System-on-Chip for Real-Time Applications, 2004.Proceedings. 4th IEEE International Workshop on
  • Print_ISBN
    0-7695-2182-7
  • Type

    conf

  • DOI
    10.1109/IWSOC.2004.1319876
  • Filename
    1319876