Mixing Synchronous Reactive and Untimed MoCs in SystemC

  • Fernando Herrera
  • Eugenio Villar


Process Network Communicate Sequential Process Reactive Functionality Perfect Synchrony Instantaneous Reaction 
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. Benveniste, A. and Berry, G. (1991) The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9).Google Scholar
  2. Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A., and Todd, L. (1999) Surviving the SoC Revolution: A Guide to Platform-Based Design. Kluwer Academic Publishers, Norwell, MA.Google Scholar
  3. Grötker, T., Liao, S., Martin, G., and Swan, S. (2002) System Design with SystemC. Kluwer Academic Publishers, Baston, MA.Google Scholar
  4. Herrera, F., Sánchez, P., and Villar, E. (2004) Modeling of CSP, KPN and SR systems with SystemC. In: Grimm, C. (ed) Languages for System Specification: Selected Contributions on UML, SystemC, SystemVerilog, MixedSignal Systems, and Property Specifications from FDL’03, CHDL. Kluwer Academic Publishers, Boston, MA.Google Scholar
  5. Herrera, F., Sánchez, P., and Villar, E. (2005) Heterogeneous system level specification in SystemC. In: Boulet, P. (ed) Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04. Springer, Dordrecht, The Netherlands.Google Scholar
  6. Hoare, C. A. R. (1978) Communicating sequential processes. Communications of the ACM, 21(8).Google Scholar
  7. Jantsch, A. (2004) Modeling Embedded Systems and SoCs: Concurrency and Time in Models of Computation. Morgan Kaufmann Series in Systems on Silicon. Morgan Kaufmann, San Francisco, CA.Google Scholar
  8. Kahn, G. (1974) The semantics of a simple language for parallel programming. In: Proceedings of the IFIP Congress 1974, North-Holland.Google Scholar
  9. Lee, E. and Sangiovanni-Vincentelli, A. (1998) A framework for comparing models of computation. IEEE Transactions on CAD of ICs and Systems, 17 (12).Google Scholar
  10. Lee, E. A. and Messerschmitt, D. G. (1987) Synchronous data flow. Proceedings of the IEEE, 75(9).Google Scholar
  11. Müller, W., Rosenstiel, W., and Ruf, J. (2003) SystemC: Methodologies and Applications. Kluwer Academic Publishers, Boston, MA.MATHGoogle Scholar
  12. OSCI (2001) Functional Specification for SystemC 2.0. The Open SystemC Initiative (OSCI).
  13. OSCI (2006) SystemC Library Overview. The Open SystemC Ini-tiative (OSCI).
  14. Patel, H. D. and Shukla, S. K. (2004) SystemC Kernel Extensions for Heterogeneous System Modelling: A Framework for Multi-MoC Modelling and Simulation. Kluwer Academic Publishers, Boston, MA.Google Scholar
  15. Posadas, H., Herrera, F., Fernández, V., Sánchez, P., and Villar, E. (2005) Single source design environment for embedded systems based on SystemC. Journal on Design Automation for Embedded Systems, 9(4): 293–312.CrossRefGoogle Scholar
  16. Ptolemy (2006) Ptolemy II: heterogenous modeling and design. Ptolemy Pro-ject.
  17. Villar, E. (2002) A framework for specification and verification of timing constraints. In: Mignotte, A., Villar, E., and Horobin, L., (eds) System on Chip Design Languages: Best of FDL’01 and HDLCon’01. Kluwer Academic Publishers, Boston, MA, pp. 267-274.Google Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  • Fernando Herrera
    • 1
  • Eugenio Villar
    • 2
  1. 1.E. T. S. I. Industriales y de TelecomunicaciónUniversity of CantabriaSpain
  2. 2.E. T. S. I. Industriales y de TelecomunicaciónUniversity of CantabriaSpain

Personalised recommendations