Transaction-level modeling and verification extensions for SystemC

April 24, 2014 // By Julien Happich
Accellera Systems Initiative announced the release of two new libraries for the SystemC core language (SystemC 2.3.1) and SystemC verification (SCV 2.0).

Ratified as IEEE Std. 1666-2011 "Standard SystemC Language Reference Manual, “SystemC is a high-level language used in the design and development of electronic and embedded systems. The SystemC 2.3.1 proof of concept library is an update to the standard that was released in 2011 which included transaction-level modeling. The SystemC Verification Library (SCV) version 2.0 contains an implementation of the verification extensions.   Both libraries are fully compatible with IEEE Std. 1666-2011 and are available at www.accellera.org.

 

SystemC 2.3.1 is a maintenance release that incorporates over 200 individual changes addressing issues and errata that have been reported during the past 18 months. The accompanying regression test suite covers bug fixes as well as additional features.

 


Changes include fixes for IEEE Std. 1666-2011 incompatibilities in the process-control support as well as the Transaction-Level Model (TLM-2.0) convenience socket’s blocking/non-blocking conversions; improved time conversion and language support for quantum calculation; additional utility functions for the object hierarchy and report handling; 64-bit support (including Microsoft Windows); extensions to signal initialization and bit-vector conversions; reworked build system, supporting additional compilers and platforms and providing more flexible control of the library installation.


The release also includes experimental features proposed by the Language Working Group that are not yet included in IEEE Std. 1666-2011. Users can optionally activate these features during library configuration to enable testing by early adopters. Most notably, these enhancements support extended simulation phase callbacks to enable the non-invasive inclusion of custom introspection extensions and are needed for advanced verification methodologies. More information can be found in the companion release notes.


SCV 2.0 contains an implementation of the verification extensions for SystemC. A significant effort has been undertaken to ensure backwards compatibility with the previous version while improving the code quality and extending the platform and compiler support.


For both libraries, the notes and readme files have been updated to support installation on the latest operating systems and compilers. For the