Abstract
In this chapter we show the ability to specify with SystemC under the restrictions imposed by several model of computations, namely CSP, KPN and SR. Specifying under these MoCs provides some important properties, specially determinism and more protection against blocking, which are also important when implementation process is faced. In most cases, standard primitive SystemC channels or a combined use of them is suitable for specifying under these MoC restrictions. Nevertheless we provide some new specific and compatible channels providing important features, as dynamic checking of restrictions or atomic use. These channels represent an extension of the standard SystemC library.
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.
Similar content being viewed by others
References
E. Aarts, and R. Roovers: IC Design challenges for Ambient Intelligence. Keynote Speech at DATE 03, available at http://www.dateconference.com/conference/2003/keynotes/index.htm.
H. Chang, L. Cooke, M. Hunt, G. Martin, A. McNelly, and L. Todd: Surviving the SoC revolution: A guide to platform-based design. Kluwer; 1999.
E. Lee, and A. Sangiovanni-Vincentelli: A Framework for comparing Models of Computation. IEEE Trans. on CAD of ICs and Systems, V.17, N.12, December 1998.
A. Janst: Modeling Embedded Systems and SoC’s, Morgan Kaufmann, 2003.
T. Grötker, S. Liao, G. Martin, and S. Swan: System Design with SystemC. Kluwer; 2002.
W. Müller, W. Rosenstiel, and J. Ruf: SystemC: Methodologies and Applications. Kluwer; 2003.
D.D. Gajski, F. Vahid, S. Narayan, and J. Gong: Specification and Design of Embedded Systems. Prentice-Hall, 1994.
E. Villar: Design of HW/SW embedded systems. Servicio de Publicaciones de la Universidad de Cantabria, 2001.
F. Herrera, E. Villar, and F. Blasco: System-Level Dynamic Estimation of Time Performance for Codesign based on SystemC and HW/SW platform. Proc. of DCIS’02, Servicio de Publicaciones de la Universidad de Cantabria, 2002.
C.A.R. Hoare: Communicating Sequential Processes. Communications of the ACM, V.21, N.8, August 1978.
G. Kahn: The Semantics of a simple Language for Parallel Programming. Proc. of the IFIP Congress 74, North-Holland, 1974.
A. Benveniste, and G. Berry: The Synchronous Approach to Reactive and Real-Time Systems. Proc. of IEEE, V.79, N.9, Sept. 1991.
S.A. Edwards: Compiling Esterel into Sequential Code. Proc. of DAC’00, IEEE 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Herrera, F., Sánchez, P., Villar, E. (2004). Modeling of CSP, KPN and SR Systems with SystemC. In: Grimm, C. (eds) Languages for System Specification. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7991-5_9
Download citation
DOI: https://doi.org/10.1007/1-4020-7991-5_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7990-0
Online ISBN: 978-1-4020-7991-7
eBook Packages: Springer Book Archive