Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal
Formal and Executable Contracts for Transaction-Level Modeling in SystemC - Full version (2009)
Formal and Executable Contracts for Transaction-Level Modeling in SystemC - Full version (2009)
TR-2009-7.pdf
Keywords: Systems-on-a-chip, SystemC, transaction-level modeling, component frameworks, 42
Abstract: Transaction-Level Modeling (TLM) for systems-on-a-chip (SoCs) has become a standard in the industry, using SystemC. With SystemC/TLM, it is possible to develop an executable virtual prototype of a hardware platform, so that software developers can start writing code long before the actual chip is available. A hardware model in SystemC/TLM is very abstract, compared to the detailed RTL model. It is clearly component-based, with guidelines defining how components should be designed for use in any TLM context. However, these guidelines are quite informal for the moment. In this paper, we establish a structural correspondence between SystemC/TLM and a formal component-model for embedded systems called 42, for which we have defined a notion of control contract, and an execution mode for systems made of components' contracts. This is a way of formalizing SystemC/TLM principles. Moreover, it allows the combined use of SystemC/TLM components with 42 components. Demonstrating that such a combined use is possible is key to the adoption of formal components' definitions in the community of TLM users.
