RALでDPI-C

Verification Engineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

You can also “C” with RALでは、RALでDPI-Cを使って、
Firmware C CodeをCosim APIでアクセスするようです。

でも、記事の中の(引用)Cコード、

    ral_write_DEV_ID_in_ROUTER_BLK(blk, &dev_id);

    ral_write_VER_NUM_in_ROUTER_BLK(blk, &ver_num);

のような関数名をFirmware内で使うとは思えません。
VMM本でも同じようなC言語の関数名を使っているんだよなー。

なぜなんだろうか？

検証、Verification、SystemVerilog、DPI-C