SystemC

• IEEE Std. 1666—2005 IEEE Standard SystemC Language Reference Manual^[4]

Пример описания модели сумматора:

#include "systemc.h"      // подключение заголовочного файла библиотеки SystemC

SC_MODULE(adder)          // декларация модуля (класса)
{
    sc_in<int> a, b;        // порты
    sc_out<int> sum;

    void do_add()           // процесс
    {
        sum = a + b;
    }

    SC_CTOR(adder)          // конструктор
    {
        SC_METHOD(do_add);    // регистрация процесса do_add в ядре моделирования
        sensitive << a << b;  // список чувствительности процесса do_add
    }
};

Модули — базовые строительные блоки в SystemC. Модель в SystemC обычно состоит из нескольких модулей, которые общаются через порты.

Сигналы в SystemC являются эквивалентом посылки по проводу (wire).

Через порты происходит общение модуля с внешним миром (обычно с другими модулями).

Процессы — главные вычислительные элементы. Процессы выполняются параллельно.

Через каналы в SystemC происходит общение элементов. Каналы могут быть простыми проводами или сложными соединительными механизмами наподобие очередей FIFO или шин.

Базовые каналы:

• signal
• buffer
• fifo
• mutex
• semaphore

Порты используют интерфейсы для общения через каналы.

Должны быть описаны во время инициализации. Позволяют синхронизировать процессы.

SystemC содержит несколько типов данных, поддерживающих моделирование аппаратуры.

Расширение стандартных типов:

• sc_int<> 64-разрядное знаковое целое число
• sc_uint<> 64-разрядное беззнаковое целое число
• sc_bigint<> знаковое целое число произвольной разрядности
• sc_biguint<> беззнаковое целое число произвольной разрядности

Логические типы:

• sc_bit 2-значный бит
• sc_logic 4-значный бит
• sc_bv<> вектор (одномерный массив) из sc_bit
• sc_lv<> вектор sc_logic

Типы чисел с фиксированной точкой (Fixed point types):

• sc_fixed<> templated signed fixed point
• sc_ufixed<> templated unsigned fixed point
• sc_fix untemplated signed fixed point
• sc_ufix untemplated unsigned fixed point

• Aldec Active-HDL, Riviera^[5], совместное моделирование.
• Cadence Design Systems C-to-Silicon Compiler^[6], синтез.
• Synopsys System Studio^[7], моделирование, анализ, верификация.
• Mentor Graphics Catapult C Synthesis^[8], синтез.
• Forte Design Systems Cynthesizer^[9], синтез.
• Calypto SLEC System^[10], анализ кода.
• Jeda Validation Tools Suite^[11], анализ кода.
• SystemCrafter SystemCrafter SC^[12], синтез.