SystemC

SystemC on C++-pohjainen mallinnuskieli, joka mahdollistaa tietokonelaitteiston kuvaamisen perinteisen rekisterisiirtotason (, RTL) lisäksi korkeammilla abstraktiotasoilla: järjestelmätasolla () ja transaktiotasolla (). SystemC sisältää lisäksi simulaatiokernelin, jonka alaisuudessa sille kirjoitettu koodi suoritetaan. SystemC:tä käytetään pääasiassa järjestelmien simulointiin ja verifiointiin, mutta SystemC:llä kirjoitettu koodi voidaan myös syntetisoida tietyin rajoituksin.

Digitaalipiirien suunnittelu monimutkaistuu jatkuvasti transistorien integrointitiheyden kasvaessa Mooren lain tahdissa, josta on syntynyt tarve SystemC:n kaltaisille ilmaisuvoimaisemmille kielille. SystemC on luokkakirjasto joka lisää C++-ohjelmointikieleen laitteistokuvauksessa tarvittavia rakenteita sekä simulaatiokernelin, joka mahdollistaa tarkan rinnakkaisten prosessien ja ajastuksien mallinnuksen. Tämän ansiosta SystemC yhdistää korkean tason ohjelmointikielten suuren ilmaisuvoiman ja olio-ohjelmoinnin tuomat edut perinteisten laitteistokuvauskielten (mm. VHDL, Verilog) tarkkaan laitteiston mallinnukseen. Heikkoutena VHDL:ään ja Verilogiin verrattuna voidaan pitää sitä, että SystemC:llä kirjoitettu koodi ei pääsääntöisesti syntetisoidu yhtä tehokkaasti laitteistoksi.

Ominaisuudet

Moduulit 
Moduulit ovat SystemC:n vastine järjestelmätason lohkoille jotka suorittavat jonkin tietyn tehtävän. Ohjelmointitekniseltä kannalta moduuli on luokka, joka perii luokalta sc_module tarvitsemansa ominaisuudet toimiakseen simulaatiokernelin alaisuudessa. Moduulit kommunikoivat ulkomaailman kanssa porttien kautta.

Portit 
Portit ovat moduulien rajapinta ulkomaailmaan silloin kun järjestelmää mallinnetaan RTL-tasolla. Portit voivat olla yksi- (sisään/ulos) tai kaksisuuntaisia, ja niihin voidaan kohdistaa kirjoitus- ja lukuoperaatioita portin tyypistä riippuen. Portti kytketään aina tarkalleen yhteen kanavaan.

Kanavat 
Kanavat välittävät moduulien välistä kommunikaatiota. Yksinkertaisin kanavatyyppi on signaali (sc_signal), joka on yksinkertainen muistiton linja joka vastaa piirilevyllä olevaa johdinta. Jono (sc_fifo) ja puskuri (sc_buffer) –tyyppisillä kanavilla on muistia, joten niihin voidaan kirjoittaa useampia arvoja peräkkäin.

Prosessit 
Prosessit toteuttavat moduulien toiminnallisuuden. Prosesseja on kolmea tyyppiä: metodiprosessit, säieprosessit ja kellotetut säieprosessit. Metodiprosessit ovat funktioita, jotka suoritetaan alusta loppuun silloin kun niiden herkkyyslistaan lisätyllä kanavalla tapahtuu muutos. Säieprosesseja suoritetaan kunnes ne päättyvät tai ne nukuttavat itsensä. Tavallisen säieprosessin herkkyyslistalla voi olla useampia kanavia, kellotettu säieprosessi taas on herkkä vain ja ainoastaan kellosignaalille. Jos järjestelmässä on aktiivisena useita prosesseja kerrallaan, niiden suoritus tapahtuu rinnakkain simulaatiokernelin alaisuudessa, ja niiden aiheuttamat muutokset kanavien tilaan arvioidaan vasta viimeisen prosessin suorituksen päättymisen jälkeen.

Tietotyypit 
SystemC sisältää myös joukon uusia laitteistoläheisiä perustietotyyppejä normaalien C/C++ -tietotyyppien lisäksi.

Kokonaislukutyypit
 sc_int<>: 1 – 64 –bittinen etumerkillinen kokonaisluku
 sc_uint<>: 1-64 –bittinen etumerkitön kokonaisluku
 sc_bigint<>: yli 64 –bittinen etumerkillinen kokonaisluku
 sc_biguint<>: yli 64 –bittinen etumerkitön kokonaisluku

Logiikkatyypit:
 sc_bit: kaksiarvoinen bitti (tosi (’1’) tai epätosi (’0’))
 sc_logic: neliarvoinen bitti (tosi (’1’), epätosi (’0’), korkea impedanssi (’Z’) tai määrittelemätön (’X’))
 sc_bv<>: vektori kaksiarvoisia bittejä
 sc_lv<>: vektori neliarvoisia bittejä

Kiinteän pisteen tyypit
 sc_fixed<>: etumerkillinen kiinteän pisteen luku
 sc_ufixed<>: etumerkitön kiinteän pisteen luku
 sc_fix: etumerkillinen kiinteän pisteen luku
 sc_ufix: etumerkitön kiinteän pisteen luku

Esimerkki 
Esimerkki yksinkertaisesta asynkronisesta summaimesta:
#include "systemc.h"
#define WIDTH 32

SC_MODULE(Adder)
{
  sc_in<sc_int<WIDTH> > a, b;   // sisään tulevat portit
  sc_out<sc_int<WIDTH> > sum;   // ulos menevä portti

  // toiminnallisuuden toteuttava prosessi
  void do_add()
  {
    sum.write(a.read() + b.read());
  }

  SC_CTOR(Adder)
  {
    SC_METHOD(do_add);    // rekisteröi metodiprosessi simulaatiokernelille
    sensitive << a << b;  // herkkyyslista prosessille
  }
};

Sama esimerkki C++ -tyylisenä ja säieprosessia käyttäen:
#include "systemc.h"
#define WIDTH 32

class Adder : public sc_module
{
  sc_in<sc_int<WIDTH> > a, b;   // sisään tulevat portit
  sc_out<sc_int<WIDTH> > sum;   // ulos menevä portti

  // toiminnallisuuden toteuttava prosessi
  void do_add()
  {
    while(true)
    {
       sum.write(a.read() + b.read());
       wait();
    }
  }

  SC_HAS_PROCESS(Adder);
  Adder(const sc_module_name& name): sc_module(name)
  {
    SC_THREAD(do_add);    // rekisteröi säieprosessi simulaatiokernelille
    sensitive << a << b;  // herkkyyslista prosessille
  }
};

Katso myös 
 Laitteistokuvauskieli
 C++
 SystemVerilog

Lähteet 
 The IEEE 1666-2005 Standard SystemC Language Reference Manual, The Institute of Electrical and Electronics Engineers, Inc., 2006.
 SystemC Version 2.0 User's Guide, Open SystemC Initiative, 2002.

Aiheesta muualla 
 Open SystemC Initiative
 IEEE 1666™ Standard SystemC Language Reference Manual

Laitteistokuvauskielet