Abstract
The constantly growing complexity of embedded systems is a challenge that drives the development of novel design automation techniques. System-level design can address these complexity challenges by raising the level of abstraction to jointly consider hardware and software as well as by integrating the design processes for heterogeneous system components. In this chapter, we present a comprehensive system-level design framework, the System-on-Chip Environment (SCE) , which is based on the influential SpecC language and methodology. SCE implements a top-down digital system design flow based on a specify-explore-refine paradigm with support for heterogeneous target platforms consisting of custom hardware components, embedded software processors, and complex communication bus architectures. Starting from an abstract specification of the desired system, models at various levels of abstraction are automatically generated through successive stepwise refinement , ultimately resulting in a final pin- and cycle-accurate system implementation. The seamless integration of automatic model generation , estimation , and validation tools enables rapid Design Space Exploration (DSE) and efficient implementation of Multi-Processor Systems-on-Chips (MPSoCs). This article provides an overview and highlights key aspects of the SCE framework from modeling and refinement to hardware and software synthesis. Using a cellphone-based example, our experimental results demonstrate the effectiveness of the SCE framework in terms of system-level exploration, hardware, and software synthesis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Abbreviations
- API:
-
Application Programming Interface
- AST:
-
Abstract Syntax Tree
- BFM:
-
Bus-Functional Model
- BLM:
-
Block-Level Model
- CE:
-
Communication Element
- DB:
-
Database
- DCT:
-
Discrete Cosine Transform
- DSE:
-
Design Space Exploration
- ESL:
-
Electronic System Level
- FCFS:
-
First-Come First-Serve
- FIFO:
-
First-In First-Out
- FPGA:
-
Field-Programmable Gate Array
- GUI:
-
Graphical User Interface
- HAL:
-
Hardware Abstraction Layer
- HDS:
-
Hardware-Dependent Software
- HLS:
-
High-Level Synthesis
- HW:
-
Hardware
- IDE:
-
Integrated Development Environment
- IP:
-
Intellectual Property
- ISS:
-
Instruction-Set Simulator
- MAC:
-
Media Access Control
- MIPS:
-
Million Instructions Per Second
- MoC:
-
Model of Computation
- MPSoC:
-
Multi-Processor System-on-Chip
- OOO PDES:
-
Out-of-Order Parallel Discrete Event Simulation
- OS:
-
Operating System
- PDES:
-
Parallel Discrete Event Simulation
- PE:
-
Processing Element
- PIC:
-
Programmable Interrupt Controller
- PSM:
-
Program State Machine
- RTL:
-
Register Transfer Level
- RTOS:
-
Real-Time Operating System
- SCE:
-
System-on-Chip Environment
- SLDL:
-
System-Level Description Language
- SW:
-
Software
- TLM:
-
Transaction-Level Model
References
Balarin F, Chiodo M, Giusto P, Hsieh H, Jurecska A, Lavagno L, Passerone C, Sangiovanni-Vincentelli A, Sentovich E, Suzuki K, Tabbara B (1997) Hardware-software co-design of embedded systems: the POLIS approach. Kluwer Academic Publishers, Boston
Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: an integrated electronic system design environment. Trans Comput 36(4):45–52
Cai L, Gerstlauer A, Gajski D (2005) Multi-metric and multi-entity characterization of application for early system design exploration. In: IEEE/ACM Asia and South Pacific design automation conference (ASP-DAC)
Cai L, Gerstlauer A, Gajski DD (2004) Retargetable profiling for rapid, early system-level design space exploration. In: Proceedings of the design automation conference (DAC), San Diego
Chen W, Han X, Chang CW, Dömer R (2013) Advances in parallel discrete event simulation for electronic system-level design. IEEE Des Test Comput 30(1):45–54
Chen W, Han X, Chang CW, Liu G, Dömer R (2014) Out-of-order parallel discrete event simulation for transaction level models. IEEE Trans Comput Aided Des Integr Circuits Syst (TCAD) 33(12):1859–1872. doi:10.1109/TCAD.2014.2356469
Chen W, Han X, Dömer R (2011) Multi-core simulation of transaction level models using the system-on-chip environment. IEEE Des Test Comput 28(3):20–31
Chen W, Han X, Dömer R (2012) Out-of-order parallel simulation for ESL design. In: Proceedings of the design, automation and test in Europe conference and exhibition (DATE)
Cortadella J, Kondratyev A, Lavagno L, Massot M, Moral S, Passerone, C, Watanabe Y, Sangiovanni-Vincentelli A (2000) Task generation and compile time scheduling for mixed data-control embedded software. In: Proceedings of the design automation conference (DAC), Los Angeles
Dömer R (1999) The SpecC internal representation. Technical report, information and computer science. University of California, Irvine. SpecC V 2.0.3
Dömer R (2000) System-level modeling and design with the SpecC language. Ph.D. thesis, University of Dortmund
Dömer R, Gerstlauer A, Gajski D (2002) SpecC language reference manual, version 2.0. SpecC Technology Open Consortium. http://www.specc.org
Dömer R, Gerstlauer A, Peng J, Shin D, Cai L, Yu H, Abdi S, Gajski D (2008) System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design. EURASIP J Embed Syst 2008:647953
Driesen K, Hölzle U (1996) The direct cost of virtual function calls in C++. SIGPLAN Not 31(10):306–323. doi:10.1145/236338.236369
Ecker W, Müller W, Dömer R (2009) Hardware dependent software: introduction and overview. In: Ecker W, Müller W, Dömer R (eds) Hardware dependent software: principles and practice. Springer, Berlin
Eclipse Foundation. Eclipse. http://www.eclipse.org/
Fujimoto R (1990) Parallel discrete event simulation. Commun ACM 33(10):30–53
Gajski DD, Zhu J, Dömer R, Gerstlauer A, Zhao S (2000) SpecC: specification language and design methodology. Kluwer Academic Publishers, Boston
Gerstlauer A, Dömer R, Peng J, Gajski DD (2001) System design: a practical guide with SpecC. Kluwer Academic Publishers, Boston
Gerstlauer A, Haubelt C, Pimentel A, Stefanov T, Gajski D, Teich J (2009) Electronic system-level synthesis methodologies. IEEE Trans Comput Aided Des Integr Circuits Syst 28(10):1517–1530
Gerstlauer A, Shin D, Peng J, Dömer R, Gajski DD (2007) Automatic layer-based generation of system-on-chip bus communication models. IEEE Trans Comput Aided Des Integr Circuits Syst (TCAD) 26(9):1676–1687
Gladigau J, Gerstlauer A, Haubelt C, Streubühr M, Teich J (2011) Automatic system-level synthesis: from formal application models to generic bus-based MPSoCs. Trans High-Perform Embed Archit Compil (Transactions on HiPEAC) 5(4):1–22
Grötker T, Liao S, Martin G, Swan S (2002) System design with SystemC. Kluwer Academic Publishers, Dordrecht
Grüttner K (2015) Application mapping and communication synthesis for object-oriented platform-based design. Ph.D. thesis, Carl von Ossietzky University Oldenburg
Ha S, Kim S, Lee C, Yi Y, Kwon S, Joo YP (2008) Peace: a hardware-software codesign environment for multimedia embedded systems. ACM Trans Des Autom Electron Syst 12(3):24:1–24:25. doi:10.1145/1255456.1255461
Hong S, Yoo S, Lee S, Lee S, Nam HJ, Yoo BS, Hwang J, Song D, Kim J, Kim J, Jin H, Choi KM, Kong JT, Eo S (2006) Creation and utilization of a virtual platform for embedded software optimization: an industrial case study, Seoul
Kangas T, Kukkala P, Orsila H, Salminen E, Hännikäinen M, Hämäläinen TD, Riihimäki J, Kuusilinna K (2006) UML-based multiprocessor SoC design framework. ACM Trans Embed Comput Syst 5(2):281–320. doi:10.1145/1151074.1151077
Keinert J, Streubühr M, Schlichter T, Falk J, Gladigau J, Haubelt C, Teich J, Meredith M (2009) SystemCoDesigner – an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. Trans Des Autom Electron Syst 14(1):1:1–1:23
Lee D, Park H, Gerstlauer A (2012) Synthesis of optimized hardware transactors from abstract communication specifications. In: Proceedings of the international conference on hardware/software codesign and system synthesis (CODES+ISSS)
Nikolov H, Thompson M, Stefanov T, Pimentel A, Polstra S, Bose R, Zissulescu C, Deprettere E (2008) Daedalus: toward composable multimedia MP-SoC design. In: Proceedings of the design automation conference (DAC 2008), pp 574–579
Razaghi P, Gerstlauer A (2014) Host-compiled multi-core system simulation for early real-time performance evaluation. ACM Trans Embed Comput Syst (TECS) 13(5s):166:1–166:26
Ritz S, Pankert M, Zivojnvic V, Meyr H (1993) High-level software synthesis for the design of communication systems. IEEE J Sel Areas Commun 11(3)348–358. doi:10.1109/49.219550
Samei Y, Dömer R (2014) Automated estimation of power consumption for rapid system level design. In: Proceedings of the IEEE international performance computing and communications conference
Samei Y, Dömer R (2014) Powermonitor: a versatile API for automated power-aware ESL design. In: Proceedings of the forum on specification and design languages (FDL)
Schirner G, Dömer R (2009) Quantitative analysis of the speed/accuracy trade-off in transaction level modeling. ACM Trans Embed Comput Syst (TECS) 8(1):4:1–4:29
Schirner G, Dömer R, Gerstlauer A (2009) High-level development, modeling and automatic generation of hardware-dependent software. In: Ecker W, Müller W, Dömer R (eds) Hardware dependent software: principles and practice. Springer, Berlin
Schirner G, Gerstlauer A, Dömer R (2008) Automatic generation of hardware dependent software for MPSoCs from abstract system specifications. In: Proceedings of the design automation conference. Asia and South Pacific (ASPDAC), Seoul
Schirner G, Gerstlauer A, Dömer R (2010) Fast and accurate processor models for efficient MPSoC design. ACM Trans Des Autom Electron Syst (TODAES) 15(2):10:1–10:26
Viskic I, Dömer R (2006) A flexible, syntax independent representation (SIR) for system level design models. In: Proceedings of the EUROMICRO conference on digital system design (DSD), pp 288–294
Yu H, Dömer R, Gajski D (2004) Embedded software generation from system level design languages. In: Proceedings of the design automation conference. Asia and South Pacific (ASPDAC), Yokohama
Zhang J, Schirner G (2014) Automatic specification granularity tuning for design space exploration. In: Proceedings of the ACM/IEEE conference on design, automation & test in Europe (DATE), Dresden. doi:10.7873/DATE.2014.227
Zhang J, Schirner G (2015) Towards closing the specification gap by integrating algorithm-level and system-level design. Des Autom Embed Syst (DAEM) 19:389–419. Springer. doi:10.1007/s10617-015-9161-1
Zhang J, Tang S, Schirner G (2015) Reducing dynamic dispatch overhead (DDO) of SLDL-synthesized embedded software. In: Asia and South Pacific design automation conference (ASPDAC), Chiba
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media Dordrecht
About this entry
Cite this entry
Schirner, G., Gerstlauer, A., Dömer, R. (2017). SCE: System-on-Chip Environment. In: Ha, S., Teich, J. (eds) Handbook of Hardware/Software Codesign. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-7267-9_31
Download citation
DOI: https://doi.org/10.1007/978-94-017-7267-9_31
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-017-7266-2
Online ISBN: 978-94-017-7267-9
eBook Packages: EngineeringReference Module Computer Science and Engineering