Tutorial 5 • System Design and Verification Using SystemC and SCV
sponsored by:Open SystemC™ Initiative (OSCI)
$ Special Tutorial Promotion $

This tutorial will introduce SystemC as a powerful language for advanced system design using Platform Transaction Level Modeling. It starts with an introduction to the background, history, and development of SystemC. Modeling styles will be introduced, with an emphasis on representing levels of abstraction.
The Open SystemC Initiative is promoting the introduction of standard interfaces at different levels of abstraction – such standards enable the development of tools to automate the refinement of transaction level models toward implementation. SystemC standardization activities, including SystemC transaction level modeling standards, are described.

The SystemC Verification Library (SCV) extends SystemC to support a constrained random test methodology for verification in a C++ modelling environment. An introduction to constrained random testing is included, as well as an outline of the use of SCV.

The tutorial concludes by describing how a complete verification flow is built up with SystemC for Platform Transaction Level Modeling, SCV for constrained random testing, and standardization of abstraction levels to simplify refinement from high to low level.