• DocumentCode
    3446333
  • Title

    A framework for developing hardware-software systems

  • Author

    Luk, Wayne ; Cheung, Peter

  • Author_Institution
    Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
  • fYear
    1995
  • fDate
    34989
  • Firstpage
    42522
  • Lastpage
    42526
  • Abstract
    Electronic systems are increasingly implemented in a variety of hardware and software technologies. Designers of such systems face two challenges: to meet specified performance targets at the lowest cost, and to complete their designs in the shortest time. This paper outlines a framework currently under development that should help designers to overcome these challenges. The framework is to support flexible hardware and software partitions, so that designs can be customised to changing performance requirements and resource availability. The framework should also facilitate rapid design exploration, adaptation and evaluation, as well as systematic design refinement, validation and documentation
  • Keywords
    formal verification; logic design; system documentation; systems analysis; design validation; documentation; electronic systems; flexible hardware; framework; hardware-software systems development; performance targets; software partitions; systematic design refinement;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Verification of Hardware Software Codesign, IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • DOI
    10.1049/ic:19951043
  • Filename
    494692