This chapter examines issues in the specification and modeling of system functionality and constraints for systems that are the target of hardware-software co-synthesis. The essential idea is to capture properties of a system without regard to its implementation. In practice it is hard to do, save for specific application domains. Some would argue that the more specific the application domain, the easier it is to develop a model. This work is targeted towards co-synthesis of embedded systems for which the following properties of target applications must be modeled and represented:
  • The system consists of parts that operate at different speeds of execution

  • The interaction between parts of a system requires synchronization oper- ations

  • There are constraints on the relative timing of operations


Graph Model Shared Memory Flow Graph Runtime System Hardware Description Language 
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.

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Rajesh Kumar Gupta
    • 1
  1. 1.University of IllinoisUSA

Personalised recommendations