Abstract :
SystemC has been proven as a strong technology for heterogeneous system modelling, efficient simulation, static and dynamic analysis, and model transformation fostering the needs for design validation and design space exploration. The first paper in this session describes a SystemC-based framework for modeling communication at different layers using SystemC AMS and TLM extensions, demonstrated by a Bluetooth Low Energy case study. The second paper addresses the problem of data races in parallel systems. A dynamic data race detection approach for SystemC/TLM based on a combination of the lockset and happensbefore algorithms is presented, which supports precompiled IP models through dynamic binary instrumentation.
