A framework for embedded system specification under different models of computation in SystemC

Proceedings - Design Automation Conference

Volumn , Issue , 2006, Pages 911-914

  Herrera, F ^a   Villar, E ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

Heterogeneous specification; SystemC

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; SPECIFICATIONS; SYSTEMS ANALYSIS;

ABSTRACT SPECIFICATION; EMBEDDED SYSTEM SPECIFICATION; MODELS OF COMPUTATION (MOC); SYSTEMC;

EMBEDDED SYSTEMS;

EID: 34547213454     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146909.1147140     Document Type: Conference Paper

References (22)

1. E. Lee, A. Sangiovanni-Vincentelli. "A Framework for comparing Models of Computation". IEEE Trans. on CAD of ICs and Systems, V. 17, N. 12, December 1998.
2. H.D.Patel, S.K.Shukla. "SystemC kernel extensions for Heterogeneous System Modelling: A framework for Multi-MoC Modelling and Simulation". Kluwer. Aug. 2004.
3. Axel Jantsch. "Modeling Embedded Systems and SoCs". Morgan Kaufman Publishers. Elsevier Science. 2004.
4. PtolemyII. http://ptolemy.eecs.berkeley.edu/ptolemyII
5. J.L.Pino, S.Ha, E.A.Lee, J.T.Buck. "SW Synthesis for DSP using Ptolemy". Journal on VLSI Processing, vol. 9, no. 1, pp 7-21. January. 1995.
6. I.Sanders. "System Modeling and Design Refinement in ForSyDe". Thesis. KTH Univresity. Stockholm 2003.
7. F.Balarin et al. "Metropolis: An Integrated Electronic System Design Environment". IEEE Computer Magaz. 2003.
8. T. Grötker, S. Liao, G. Martín, S. Swan. "System Design with SystemC". Kluwer; 2002.
9. "SystemC: Methodologies and Applications". Ed. W.Mueller, W. Rosenstiel, J.Ruf. Kluwer. March 2003.
10. Synopsys Inc. "Describing Synthesizable RTL in SystemC". Version 1.2. November 2002.
11. E.A.Lee, T.M.Park. "Dataflow Process Networks". Proceedings of the IEEE, 1995.
12. A.Rose, S.Swan, J.Pierce, J.M.Fernández. "Transaction Level Modeling in SystemC". Av. at www.systemc.org.
13. Website, www.systemc-ams.org
14. F.Herrera, P.Sánchez, E.Villar. "Modeling and Design of CSP, KPN and SR Systems with SystemC", in C.Grimm (Ed.) "Languages for System Specification". Kluwer, 2005.
15. F.Herrera, P.Sánchez, E,Villar. "Heterogeneous System-Level Specification in SystemC" in P.Boulet (Ed.) "Advances in Design and Specification Languages for SoCs". Kluwer, 2005. See www.teisa.unican.es/ HetSC.
16. F.Herrera, E.Villar. "Mixing Synchronous Reactive and Untimed Models of Computation in SystemC". In proc. Of Forum of Design Languages. FDL'05. Sept, 2005.
17. G. Kahn. "The Semantics of a simple Language for Parallel Programming". Proc. IFIP 74, North-Holland, 1974.
18. C.A.R. Hoare. "Communicating Sequential Processes". Communications of the ACM, V.21, N.8, August 1978.
19. E.A.Lee, D.G. Messerschmitt "Synchronous Data Flow". Proc. of the IEEE, Vol75, No.9,September, 1987.
20. EA. Benveniste & G. Berry. "The Synchronous Approach to Reactive and Real-Time Systems". Proceedings of the IEEE, V.79, N.9, September, 1991.
21. H.Posadas, F.Herrera, V.Fernández, P.Sánchez & E.Villar. "Single Source Design Environment for Embedded Systems based on SystemC". Design Automation for Embedded Systems Journal. Springer. Dec. 2004. V.9, N.4. pp.293-312.
22. ETSI/EN 301 245, ETSI/EN 301 244 and ETSI/EN 301 250 standards. 1998. Available at www.etsi.com.