Transaction-level modeling and verification extensions for SystemC

Transaction-level modeling and verification extensions for SystemC

Technology News |
By eeNews Europe


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


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 first time, both the SystemC and SCV libraries now support native 64-bit compilers on Microsoft Windows platforms.

The IEEE Std. 1666-2011 standard may be obtained at no charge via the Accellera Systems Initiative-sponsored IEEE Get Program. The newly released versions 2.3.1 of the open source proof-of-concept SystemC library (and the corresponding regression suite) and SCV 2.0 library are available under the SystemC open source license and may be downloaded free of charge on the Accellera website.


Visit Accellera Systems Initiative at




/* Style Definitions */
{mso-style-name:”Table Normal”;
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;

If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News


Linked Articles