This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A. and Berry, G. (1991) The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9).
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.
Grötker, T., Liao, S., Martin, G., and Swan, S. (2002) System Design with SystemC. Kluwer Academic Publishers, Baston, MA.
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.
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.
Hoare, C. A. R. (1978) Communicating sequential processes. Communications of the ACM, 21(8).
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.
Kahn, G. (1974) The semantics of a simple language for parallel programming. In: Proceedings of the IFIP Congress 1974, North-Holland.
Lee, E. and Sangiovanni-Vincentelli, A. (1998) A framework for comparing models of computation. IEEE Transactions on CAD of ICs and Systems, 17 (12).
Lee, E. A. and Messerschmitt, D. G. (1987) Synchronous data flow. Proceedings of the IEEE, 75(9).
Michalove, A. (2006) Amdahl’s law. http://home.wlu.edu/wahtleyt/classes/parallel/topics/amdahl.html.
Müller, W., Rosenstiel, W., and Ruf, J. (2003) SystemC: Methodologies and Applications. Kluwer Academic Publishers, Boston, MA.
OSCI (2001) Functional Specification for SystemC 2.0. The Open SystemC Initiative (OSCI). http://www.systemc.org/.
OSCI (2006) SystemC Library Overview. The Open SystemC Ini-tiative (OSCI). http://www.systemc.org/web/sitedocs/library_overview.html.
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.
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.
Ptolemy (2006) Ptolemy II: heterogenous modeling and design. Ptolemy Pro-ject. http://ptolemy.eecs.berkeley.edu/ptolemyII/.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Herrera, F., Villar, E. (2006). Mixing Synchronous Reactive and Untimed MoCs in SystemC. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_4
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)