Heterogeneous system-level specification in SystemC

Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL'04

Volumn , Issue , 2005, Pages 199-216

  Herrera, Fernando ^a   Sánchez, Pablo ^a   Villar, Eugenio ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84885733224     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-26151-6_15     Document Type: Chapter

References (14)

1. A. Allan, D. Edenfeld, W. Joyner, A. Kahng, M. Rodgers, Y. Zorian. "2001 Technology Roadmap for Semiconductors". IEEE Computer. January 2002.
2. A. Benveniste, and G. Berry. "The Synchronous Approach to Reactive and Real-Time Systems". Proceedings of the IEEE, V.79, N.9, September 1991.
3. 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.
4. T. Grötker, S. Liao, G. Martin, and S. Swan. "System Design with SystemC". Kluwer.2002.
5. F. Herrera, H. Posadas, P. Sánchez, E. Villar. "Systematic Embedded Software Generation from SystemC". Proc. of DATE, IEEE, 2003.
6. F. Herrera, P. Sánchez, E. Villar. "Modeling of CSP, KPN and SR Systems with SystemC". Proc. of FDL, ECSI, 2003.
7. C.A.R. Hoare. "Communicating Sequential Processes". Communications of the ACM, V.21, N.8, August 1978.
8. A. Jantsch. "Modeling Embedded Systems and SoC's". Morgan Kaufmann, 2004. ISBN:1-55860-925-3.
9. A. Jantsch, H. Tenhunen. "Networks on Chip". Kluwer Academic Publishers. 2003. ISPN:1-4020-7392-5.
10. G. Kahn. "The Semantics of a simple Language for Parallel Programming". Proc. of the IFIP Congress 74, North-Holland, 1974.
11. 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.
12. W. Müller, W. Rosenstiel, and J. Ruf. "SystemC: Methodologies and Applications". Kluwer. 2003.
13. Ptolemy. http://ptolemy.eecs.berkeley.edu
14. Worldwide Shipments growth forecasts (2000-2004). Electronic Market Forecasters. Gartner Dataquest 2001 from www.embedded.com/advert/update.htm