SystemC is widely used for modeling and simulation in hardware/software co-design. Due to
the lack of a complete formal semantics, it is not possible to verify SystemC designs. In this …

Actor-based design is based on composing a system of communicating processes called
actors, which can only communicate with each other via channels. However, actor-based …

SystemC is widely used for modeling and simulation in hardware/software co-design.
However, existing verification techniques are mostly ad-hoc and non-systematic. In this …

SystemC is a system level design language that is widely used in hardware/software
codesign. As the semantics of SystemC is only informally defined, verification of SystemC …

The SystemC Transaction Level Modeling (TLM) standard is widely used for modeling and
simulation in hardware/software co-design. However, the semantics of the TLM core …

Transaction Level Modeling (TLM) is gaining more and more importance to quickly evaluate
design alternatives in multimedia systems and other mixed HW/SW systems. However, the …

Today, embedded systems are ubiquitous in our everyday life, in cell phones and washing
machines, but also in cars and even medical equipment. With this escape from their former …

Applications in the signal processing domain are often modeled by data flow graphs which
contain both dynamic and static data flow actors due to heterogeneous complexity …

In the last decades, there has been a lot of work on formal verification techniques for
embedded hardware/software systems. The main barriere for the application of these …

Delta-cycles are basic units of SystemC modeling and they are supposed to provide the
guarantee of some critical properties about interactions between concurrent processes, like …