Systemc infrastructure and extensions

Through proposed extensions of the core library and new methodology-specific libraries, SystemC is continuously being improved in order to achieve better modeling capabilities and to meet user needs. The first paper in this session proposes the concept of combining SystemC events with TLM transactions so as to simplify and systematize synchronization in TLM models. The second paper introduces a framework that enables static analysis of SystemC models. The third paper presents a new version of a library for logging and tracing that goes far beyond SystemC's built-in tracing mechanism.