• DocumentCode
    2590478
  • Title

    A design representation for hardware/software co-synthesis

  • Author

    Stoy, Erik ; Peng, Zebo

  • Author_Institution
    Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
  • fYear
    1994
  • fDate
    5-8 Sep 1994
  • Firstpage
    192
  • Lastpage
    199
  • Abstract
    This paper presents a design representation for digital designs consisting of both hardware and software components. The design representation is used to capture designs during the synthesis process from a high-level behavioural specification to its structural implementation. It is based on timed Petri nets which are used for representing the control flow. These are extended with a formal notation to capture data manipulation by both software and hardware. Based on the representation, a hardware/software co-design environment is being built, which includes procedures for design evaluation, hardware/software partitioning, and movement of functionality from hardware to software and vice versa
  • Keywords
    Petri nets; circuit analysis computing; formal specification; high level synthesis; logic partitioning; data manipulation; design representation; formal notation; functionality; hardware/software co-synthesis; hardware/software partitioning; high-level behavioural specification; structural implementation; synthesis process; timed Petri nets; Computational modeling; Employment; Flow graphs; Hardware; Information science; Laboratories; Petri nets; Software prototyping; Timing; Virtual prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
  • Conference_Location
    Liverpool
  • Print_ISBN
    0-8186-6430-4
  • Type

    conf

  • DOI
    10.1109/EURMIC.1994.390391
  • Filename
    390391