Abstract
Embedded system design, in general, can only be successful if it is based on a suitable Model of Computation (MoC) that can be well represented in an executable System-level Description Language (SLDL) and is supported by a matching set of design tools. While C-based SLDLs, such as SystemC and SpecC, are popular in system-level modeling and validation, current tool flows impose serious restrictions on the synthesizable subset of the supported SLDL.
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
Notes
- 1.
We should emphasize that this potential parallelism was not apparent in the original C code. It required serious modeling effort to parallelize the slice decoders for our model.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Chen, W. (2015). The ConcurrenC Model of Computation. In: Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design. Springer, Cham. https://doi.org/10.1007/978-3-319-08753-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-08753-5_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08752-8
Online ISBN: 978-3-319-08753-5
eBook Packages: EngineeringEngineering (R0)