Reactivity in SystemC Transaction-Level Models

SystemC is a popular language used in modeling system-on-chip implementations. To support this task at a high-level of abstraction, Transaction-Level Modeling (TLM) libraries have been recently developed. While TLM libraries are useful, it is difficult to capture the reactive nature of certain transactions with the constructs currently available in the SystemC and TLM libraries. In this paper, the authors propose an approach to specify and verify reactive transactions in SystemC designs. Reactive transactions are different from TLM transactions in the sense that a transaction can be killed or reset.