Modeling of CSP, KPN and SR Systems with SystemC

DOI: 10.1007/1-4020-7991-5_9
Source: DBLP

ABSTRACT 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 determinism 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.