A systemC-based modular design and verification framework for C-model reuse in a HW/SW-codesign design flow

Proceedings - International Conference on Distributed Computing Systems

Volumn 24, Issue , 2004, Pages 838-843

  Blaurock, Ole ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; FUNCTIONAL ASSESSMENT; MATHEMATICAL MODELS; MICROPROCESSOR CHIPS; PROGRAM PROCESSORS; SYSTEMS ANALYSIS;

IO-OPERATIONS; MODULAR DESIGN; SYSTEMC ENVIRONMENT; TRANSACTION LEVEL MODEL (TLM);

COMPUTER AIDED DESIGN;

EID: 3042547954     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icdcsw.2004.1284130     Document Type: Conference Paper

References (17)

1. L. Benini, D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Poncino, Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip, ICCD, 2002.
2. U. Badelt, H. Kühl and M. Radetzki, sciPROVE: C++ Based Verification Environment for IP and SoC Design, FDL-03, Frankfurt, Germany, 2003.
3. W. Cesario, A. Baghdadi, L. Gauthier, D. Lyonnard, G. Nicolescu, Y. Paviot, S. Yoo, A.A. Jerraya, and M. Diaz-Nava, Component-Based Design Approach for Multicore SoCs, ASP-DAC Yokohama, 2002.
4. 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
5. Gartner Dataquest, http://www.gartner.com, 2003.
6. M. Goudarze, S. Hessabi and A. Mycroft, Object-Oriented ASIP Design and Synthesis, FDL-03, Frankfurt, Germany, 2003.
7. Thorsten Grötker, Stan Liao, Grant Martin, Stuart Swan, System Design with SystemC, Kluwer Academic: Press, 2002.
8. D.D. Gajski, F. Vahid, S. Narayan and J. Gong, Specification and Design of Embedded Systems, Prentice-Hall 1994.
9. D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and al., Speed Specification Language and Methodology, Norwell, MA: Kluwer Academic Publishers, 2000.
10. A. Haverinen, M. Leclercq, N. Weyrich, D. Wingard, White Paper for SystemC-based SoC Communication Modeling for the OCP Protocol, http://www.ocpip.org, Oct. 2002.
11. G. Mertin and H. Chang, Winning the SoC Revolution, Kluwer, 2003.
12. W. Müller, W. Rosenstiel and J. Ruf, SystemC: Methodologies and Applications, Kluwer, 2003.
13. I. Oussorov, W. Raab, U. Hachmann, and A. Kravtsov, Integration of Instruction Set Simulators into SystemC High Level Models. Euromicro Symposium DSD, 2002.
14. The Open SystemC Initiative, http://www.systemc.org, 2002.
15. M.J. Rutten, J.T.J. van Eijndhoven, E.D. Pol, E.G.T. Jasper, P.van der Wolf, O.P. Gangwal, A. Timmer, Eclipse: Heterogeneous Multiprocessor Architecture for Flexible Media Processing, PDVIM'02, Fort Lauderdale, Florida, USA, 2002.
16. E. Villar, Design of HW/SW embedded systems, Servicio de Publicaciones de la Universidad de Cantabria, 2001.
17. A. Ziv, Functional Verification Environment for Object-oriented Hardware Design, FDL-03, Frankfurt, Germany, 2003.