System Representation Model



As explained in Section 5, software synthesis starts from a detailed system representation model which captures the detailed design specification. At the same time, the model also provides enough abstraction and hierarchy to allow task level (concurrency) optimizations at a high-level (Section 4). This model is essential in view of our intention to perform optimizing (task-level) code restructuring and to generate an application-specific (run-time) solution.


Shared Memory Sink Node Data Port Communicate Sequential Process Data Flow Graph 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 6.
    a ‘thread’ is defined as: “a set of operations which may or may not start with a non-deterministic (ND) operation. Other than the beginning ND operation, a thread does not contain any ND operation.” [Gupta 93b].Google Scholar
  2. 9.
    a basic block is a sequence of consecutive statements in which flow of control enters at the beginning and leaves at the end without halt or possibility for branching except at the end [Aho 77].Google Scholar
  3. 10.
    or safeness similar to Petri nets [Murata 89].Google Scholar
  4. 19.
    i.e. persistency in PN terminology [Murata 89].Google Scholar
  5. 37.
    SPN models are in fact synchronized queuing networks, since a (S)PN has an additional notion of synchronization of concurrent behavior [Valette 91].Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2000

Authors and Affiliations

  1. 1.National Semiconductor CorporationSanta ClaraUSA
  2. 2.IMECLeuvenBelgium

Personalised recommendations