Reactivity in systemc transaction-level models

Conference/Journal
Springer Berlin Heidelberg
Authors
Frederic Doucet RK Shyamasundar Ingolf H Krüger Saurabh Joshi Rajesh K Gupta
BibTex
Abstract
Abstract 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 developped. 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, we propose an approach to specify and verify reactive transactions in SystemC designs. Reactive transactions are different from TLM ...