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


Dition Cond 


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