SystemC, Cycle Accuracy Analysis and Performance Measurements


Today I’ve read two enlightening articles about SystemC and its practical use on assessing performance of a hardware Electronic System Level (ESL) design, which is what we must do in MULTICUBE project.

The first article I’ve read is a Dr Dobb’s Portal article about SystemC in their embedded systems section (they also have a blog on the subject called “in the chips“)

SystemC: Hardware-Oriented Constructs in C++. A C++ library for ESL design and verification
George F. Frazier. January 01, 2005.

The author says that the principal motivation of using a high level systems description language is the millions and millions of gates that nanotechnology has managed to build into an integrated circuit, a new degree of semiconductor integration that is now possible and that has led to the emergence of very complex and versatile “systems on a chip.” In the early days of EDA, a simulator could track the state of every gate on a circuit board. As complexity blossomed, newer methodologies has emerged for simulating systems at a courser grain (RTL, TLM, …), generalizing system representation to a higher level, where the simulation of systems is viewed as a behavioural flow, as a series of inputs and outputs, not clock cycles.

Now It’s all about developing Electronic System Level (ESL) models of IP Cores that can be exchanged, reused, and grouped to construct modular systems (MpSoC). Reuse and modularity have spurred interest in developing an object-oriented technology for ESL. That is SystemC, which is a C++ class library for system design based on Standard C++. OSCI provides a free “reference implementation” distributed with an open-source license.

There are also commercial implementations such as Cadence’s NC-SystemC/Incisive and CoWare’s ConvergenSC System Designer (The companies have mixed their products now) NC-SystemC, for example, supports many features not available in the OSCI simulator, including mixed-language capabilities via the Incisive platform, advanced debugging facilities, a transaction/wave-form viewer and advanced data-probing methodologies, simulation of models that are 100 times faster than RTL, transaction recording, and a System Verification Library that is now a part of OSCI. Cadence put its verification technology as open source named as Open Verification Methodology (OVM)

SystemC provides the elements that model typical constructs in a chip or system design: modules, ports, interfaces, and channels. A module can contain ports, processes, channels, internal data, and other modules. A port is the boundary through which a module communicates with the outside world. A module’s interfaces are the set of operations that it supports. Interfaces are similar to (and implemented as) abstract methods in C++. Finally, channels implement the interfaces that define the module’s signature. Below this is the event-driven simulation engine that ties the system design to the simulator. The simulation is controlled by discrete event-simulation constructs in SystemC, such as mechanisms for specifying time granularity, port sensitivity, runtime semantics of processes (if the process is a separate thread, for example), a central scheduler, and so on. Advanced facilities exist for specifying different models of computation (RTL, Transaction Level, Functional, Dataflow) and communication refinements.

Finally, the author develops two examples in SystemC. The first example is a multiplier, where he shows the SystemC macros for a module: SC_MODULE, SC_CTOR and SC_METHOD. The second example is a FIFO channel, which can be used to interconnect modules. Here we can see the concurrency description with sc_events, SC_HAS_PROCESS and SC_THREAD (implemented with POSIX threads, win32 fibers or QuickThreads) The channel concept is achieved with the interface programming (sc_interface) concept which separates specification from implementation.. A top module with a sc_main runs the show (simulates all the blocks) There is a SystemC scheduler handling the events during simulation with eight steps. It is interesting the concept of delta cycle as a construct to simulate concurrent behaviour.

The second article shows a methodology to improve the performance measurement at high levels (transaction, functional) in ESL designs:

Cycle Accuracy Analysis and Performance Measurements of a SystemC model

Smita Ratnam, Philips Semiconductors
Aniruddha Baljekar, Philips Semiconductors
Bangalore, INDIA

Models at higher level of abstraction (e.g. SystemC models) are required for driver development, tuning of system software, architectural exploration/verification, performance analysis, power measurements etc. While SystemC models suffice the needs of driver development and architectural exploration, cycle accurate models are required for performing performance analysis, architectural verification, tuning of application code and power analysis. Models at higher levels of abstractions are not cycle accurate. Alternatives are to use emulators, which are very costly.

The author then look for a methodology to address cycle accuracy and performance measurement of a SystemC model and then fine tuning it by benchmarking it with RTL as a golden reference model. Methodology in brief:

  • Mapping of the SystemC function calls to the specific signals
  • Design a verification environment which can be reused for RTL and SystemC
  • Write test cases to generate same sets of transaction/burst for SystemC and RTL.
  • Capture the specific data required for comparison
  • Perform analysis and fine tune the SystemC model
  • Execute regression tests on SystemC and RTL design
  • Benchmark with respect to RTL design

This methodology has some limitations: RTL has to be available as a reference for doing a comparison with the SystemC model. Fine tuning of the SystemC model is needed according to the findings with RTL as a reference.

To accomplish the experiment, the author uses cadence tools (Specman, eVC, IUS, Transaction Explorer, …) He uses traces (eVC results) at RTL and TLM levels, so the SystemC function calls are mapped to the relevant RTL signals.

2 comentarios en “SystemC, Cycle Accuracy Analysis and Performance Measurements

  1. I’ve searched DrDobb’s portal looking for SystemC articles and I’ve found out 22 of them. I’ve selected the following must read articles:

    Software to Hardware Parallelization. Optimizing algorithms for multicore hardware. By Steve Casselman. May 20, 2008

    To accelerate algorithms on multi-core systems, you must first identify the code within the application that can be parallelised, then figure out how to parallelise it.

    Fit the Hardware to the Algorithm with SystemC Models. By Bo Wu, CoWare, and Jens Reinecke, RWTH Aachen University, Germany. October 10, 2006

    Learn how to model DSP algorithms in SystemC without being a SystemC expert. These models facilitate hardware/software partitioning, and allow you to consider communication and memory architectures when designing your algorithm. These models also ease software development and hardware verification.

    Alternative computing solutions, from single cores to arrays of ‘things’. By Clive Maxfield. July 26, 2006

    There are many ways of performing computations, including single CPU or DSP processors (chips or cores), multiple processors, arrays of “things”, and “great big piles of gates.”

  2. There is a mention of verification process in the design flow of integrated circuits. This issue is very important. SystemC has an extension donated by cadence called SystemC Verification (SCV) which tries to implement a standard verification framework for the ESL community.

    There are other initiatives for building a verification framework like the open source Trusster initiative:

    Trusster is a site for and by hardware verification engineers. We’re here to help our field do efficient hardware verification through good Object Oriented Programing (OOP) practice. As all modern verification languages like C++, SystemVerilog and Vera have OOP aspects we believe this is important. All the tools promoted on this site are available open source (with other license options available)

    A strong ESL company like cadence who endorse SystemVerilog (an IEEE 1800 standard, the industry’s first unified hardware description and verification language, which is an extension of Verilog IEEE 1364) has created an open source initiative to promote a methodology of verification based on SystemVerilog called Open Verification Methodology (OVM)

    The OVM is based on the IEEE 1800 SystemVerilog standard and supports design and verification engineers developing advanced verification environments that offer higher levels of integration and portability of Verification IP. The methodology is non-vendor specific and is interoperable with multiple languages and simulators. The OVM is fully open, and includes a robust class library and source code that is available for download.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s