Specification and design of embedded systems
Specification and design of embedded systems
Surviving the SOC revolution: a guide to platform-based design
Surviving the SOC revolution: a guide to platform-based design
Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
Communicating sequential processes
Communications of the ACM
System Design with SystemC
SystemC: methodologies and applications
SystemC: methodologies and applications
IC Design Challenges for Ambient Intelligence
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A SystemC-based design methodology for digital signal processing systems
EURASIP Journal on Embedded Systems
MoPCoM methodology: focus on models of computation
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
In this chapter we show the ability to specify with SystemC under the restrictions imposed by several model of computations, namely CSP, KPN and SR. Specifying under these MoCs provides some important properties, specially deterrninism and more protection against blocking, which are also important when implementation process is faced. In most cases, standard primitive SystemC channels or a combined use of them is suitable for specifying under these MoC restrictions. Nevertheless we provide some new specific and compatible channels providing important features, as dynamic checking of restrictions or atomic use. These channels represent an extension of the standard SystemC library.