SCV:制約付ランダムデータ生成(その2)

SCV SystemC Verification

今回は、SCVを使った制約付きランダム生成(その2)です。前回のデータを元に更に制約を加えてみたいと思います。サンプルコード #include <scv.h> // Valid values for a are 10-20, 50-60, 90-100 class slower : public scv_constraint_base { public: scv_smart</scv.h>…

2013-02-26

SCV:制約付ランダムデータ生成(その1)

SCV SystemC Verification

今回は、SCVを使った制約付きランダム生成(その1)です。今までの keep_only/keep_outの記述を SCV_CONSTRANT を使って書くことができます。サンプルコード #include <scv.h> // fast simple constraint. // Valid values for a are 10-20, 50-60, 90-100 class fa</scv.h>…

2013-02-25

SCV:重み付けランダムデータ生成(値の範囲)

SCV SystemC Verification

scv_bagを使ってランダムの確率分布を指定することが出来ます。前回は値に対してですが、値の範囲に対しても同じことが可能です。サンプルコード #include <scv.h> int sc_main( int argc, char* argv[] ) { scv_bag<pair<int,int> > dist; dist.add(pair<int, int>(0,4), 15); // 50% dis</int,></pair<int,int></scv.h>…

2013-02-22

SystemC 2.3:sc_start(1) Error

SystemC

きっかけはこちらのスレッドになります。 Error : no matching function for call to SC_start SystemC-2.2では、 sc_start(1); のような sc_start(int); 記述を許していたんですね。書いたことなかったので、試しに記述して確認してみました。 SystemC-2.2…

2013-02-21

SCV:重み付けランダムデータ生成(値)

SCV SystemC Verification

scv_bagを使ってランダムの確率分布を指定することが出来ます。サンプルコード #include <scv.h> int sc_main( int argc, char* argv[] ) { scv_bag<int> dist; dist.add(0,15); // 50% dist.add(1,8); // 27% dist.add(2,4); // 14% dist.add(3,2); // 6% dist.add(4,1</int></scv.h>…

2013-02-20

SCV:分布を指定したランダムデータ生成

SCV SystemC Verification

SCVではランダム生成において、モードが存在します。今回はそれらを試してみました。モード説明 RAMDAM 指定分布範囲での一様なランダム生成 SCAN とりうる値で小さいものから大きいものへと生成 RANDOM_AVOID_DUPLICATE 生成可能な数値が出尽くすまで同…

2013-02-15

SCV使用時の役立つ？gccオプション

SCV SystemC GCC

SCVをコンパイルする際の Makefileはこんな感じです。 ※使用する際にはインストールパスを自分のに置き換えてください。 SYSTEMC_HOME = /usr/local/lib/systemc-2.2.0 SCV_HOME = /usr/local/lib/scv-1.0p2-sysc2.2 TARGET_ARCH = linux SYSTEMC_INC_DIR = …

2013-02-14

SCV:ランダムデータの生成

SystemC SCV

SCVをインストールしたので、色々書いてみたいと思います。先ずは基本的なランダムデータの生成から。サンプルコード #include <scv.h> int sc_main( int argc, char* argv[] ) { scv_smart_ptr<int> data_p( "data" ); for (int i=0; i<20; i++) { data_p->next(); pr</int></scv.h>…

2013-02-13

SCV error: ‘_scv_pop_constraint’

SystemC Verification SCV

Ubuntu12.04に SCV をインストール後に exampleを動かすと以下のような Errorが発生します。 ※実行したものは「examples/scv/randomization/constraints」 : ./run.x scv_constraints.cpp: In constructor ‘packet_base_constraint::packet_base_constrain…

2013-02-12

Ubuntu12.04に SCV をインストール

SystemC Verification SCV

SCV(SystemC Verification library)のことです。 2006年以降全く更新がない困ったライブラリちゃんなので、ちょっと火がついたのでインストールしてみました。環境 Ubuntu12.04 LTS(32bit) gcc/g++ 4.4.7 SystemC 2.2 ダウンロードこちらからファイルをダ…

2013-02-07

SystemC動作時に確認している環境変数

SystemC

SystemCでは、マニュアル(LRM)に載っていないけど動作時に見ている環境変数が存在する。 src内部を getenv とかで grepした結果です。変数名 2.2 2.3 内容 SYSTEMC_REGRESSION レレよくわからない... リグレッション用の何か？ SC_SIGNAL_WRITE_CHECK レ…

2013-02-05

【SystemC】libtool + gdbの使い方

libtool gdb SystemC

SystemC-2.3で、libtoolを使ってコンパイル&リンカした場合の実行形式ファイルらしきものを見るとスクリプトになっています SystemC-2.3では多分 libtoolを使うことが推奨されています。サンプルコード(sc_main.cpp) #include <systemc.h> int sc_main(int argc, char</systemc.h>…

2013-01-30

SystemC Utillity functions : sc_abs

SystemC

SystemC-2.2からあります。絶対値を返す関数になります。 ※ただし、sc_logic/sc_bitなどのデータ型には使えません。 template <class T> const T sc_abs( const T& ); サンプルコード #include <systemc.h> int sc_main(int argc, char* argv[]) { sc_int<10> a, b, c; sc_int<1</systemc.h></class>…

2013-01-25

SystemC Utillity functions : Version and Copyright

SystemC

SystemC-2.2からあったようですが、説明も少ないため SystemC-2.3前提で話をします。用意されている function 以下の 3つの関数が用意されています。 sc_copyright() sc_version() sc_release() どのような動きになるかはこちらを見てください。サンプルコ…

2013-01-23

SystemC 2.3 : sc_vector

SystemC

SystemC-2.3(IEEE1666-2011)から追加された「sc_vector」を書いてみました。 sc_vector は、モジュールや信号について記述することができます。ポート信号に対してサンプルコード #include <systemc.h> SC_MODULE( hoge ){ sc_vector<sc_in<bool> > in; void m_process(); SC_CTOR</sc_in<bool></systemc.h>…

2012-12-26

Macユーザー必見！ MacOSに簡単にSystemCをインストール

SystemC Tools

こんなサイトがあったんですね。 http://www.logicpoet.com/ こちらのサイトの「Downloads」に以下のようなものがあります。「SystemC Installation Suite for OSX」では、「SystemC 2.2」だけではなく「SCV」、「TLM2」や「GreenSocs」などのライブラリが…

2012-12-25

TLMモデルからSystemCモデルへの７つの課題

SystemC TLM2.0 高位合成

Merry Christmas!!! SystemCでは幅広い範囲の抽象度で記述することができます。それではそれぞれのモデルを再度は以下のような感じになります。モデリング例 Cycleモデル #include <stdlib.h> #include <vector> using namespace std; #include <systemc.h> SC_MODULE( hoge ) { sc_in <bool > </bool></systemc.h></vector></stdlib.h>…

2012-12-24

TLM2.0 Socketの種類を把握して有効に使おう

SystemC TLM2.0

TLM2.0モデルのインターフェースになる Socket についてです。 Socketとは何か？ TLM2.0のコアインターフェース（トランスポート、DMI、デバッグトランスポート）の関数呼び出しを提供し、それらのインターフェースをグループ化してポートよりも使いやすくし…

2012-12-22

SystemC 2.3変更点(WRITER_POLICY)

SystemC

SystemC-2.3から追加された WRITER_POLICYについて SystemC-2.2では SystemC-2.2では、sc_signalに対して複数のプロセスからアクセスするような記述があるとエラーになってました。 #include <systemc.h> SC_MODULE( hoge ){ sc_in <bool > xrst; sc_in <bool > set_p; sc_in <sc_uint<32> > setd</sc_uint<32></bool></bool></systemc.h>…

2012-12-21

SystemC 2.3変更点([async_]reset_signal_is)

SystemC

前回までで、SystemCの thread(process)について語ってきました。特に SC_CTHREADに対して細かく語ってきたのですが、SystemC-2.3の変更点を見ていくと面白いことがわかります。今回の記事はそのような内容になってます。 async_reset_signal_is の追加 S…

2012-12-20

SC_CTHREADを活かすためにsc_signalに拡張を試みた話

SystemC

私が嫌い苦手な SC_CTHREADを使えるように出来ないかなと思い、 sc_signalへの拡張をトライしてみました。っていうお話です。先に結論だけ書いておくと、面倒臭くなって拡張断念しました。背景なぜ SC_CTHREADが嫌い苦手かというと、抽象度が低いからにな…

2012-12-19

誰得？SystemCラッパー作成

Verilog-HDL VHDL SystemC

HDL(Verilog-HDLやVHDL)に対して、SystemCラッパーを作成する方法です。ラッパーを作成することで、シミュレータでSystemCとHDLとの Co-Simulationが出来るようになります。 Cadence Verilog-HDL $> ncvlog ファイル名 $> ncshell -import verilog -into sy…

2012-12-18

SystemCの thread(process) を理解しよう

SystemC

今回は、SystemCで記述する際に肝となるthread(process)の話です。まずは、サンプルコードを見てください。サンプルコード #include <systemc.h> SC_MODULE( hoge ){ sc_in <bool > clk; sc_in <bool > xrst; sc_in <sc_uint<32> > indata1; sc_in <sc_uint<32> > indata2; sc_out <sc_uint<64> > outdata_met; sc_out <sc_uint<64> ></sc_uint<64></sc_uint<64></sc_uint<32></sc_uint<32></bool></bool></systemc.h>…

2012-12-16

SystemC 2.3のインストール(Windows:Visual C++ 2008)

SystemC Tools

ほとんど9割はLinuxで作業しているので、使わないのですが Visual C++の GUIは便利なので、インストールしてみました。 ※環境が古くてすいませんが、私が試したのは Windows XPです。インストール systemc-2.3.0.tgzを展開 $> tar xvf systemc-2.3.0.tgz 展…

2012-12-15

gdb で sc_uintの加算の仕組みを見てみよう

SystemC

データ型について今週は見ていったので、もう少し。サンプルコード #include <stdio.h> #include <systemc.h> int main (int argc, char* argv[]) { sc_uint<8> a,b; sc_uint<9> c; a = 2; b = 30; c = a + b; cout << "a = " << a.to_string() << ", b = " << b.to_string() <<</systemc.h></stdio.h>…

2012-12-14

sc_uint<1>とsc_biguint<1>の「~」演算

SystemC

前回が bool型についてだったので sc_uint<1>だとどうなるのか？っということで試してみました。サンプルコード #include <stdio.h> #include <systemc.h> int main (int argc, char* argv[]) { bool bool_bit1 = 0; int bool_data = ~bool_bit1; bool bool_bit1not = ~bool_bi</systemc.h></stdio.h>…

2012-12-13

bool型と「!」と「~」演算子

SystemC

SystemC(C/C++)を使う上での常識的なネタを。まずは以下のサンプルコードを見てください。 - サンプルコード #include <systemc.h> SC_MODULE( hoge ){ sc_in <bool > clk; sc_in <bool > xrst; sc_in <sc_uint<32> > indata1; sc_in <sc_uint<32> > indata2; sc_out <sc_uint<64> > outdata; void process(); SC_CTOR( h</sc_uint<64></sc_uint<32></sc_uint<32></bool></bool></systemc.h>…

2012-12-11

SystemC：bool型を連結するのはやめましょう

SystemC

bool型でハマりそうな(私が勝手にハマっただけかも)記述について紹介。ビット連結記述の際には注意が必要です。 ※bool型の詳細について、今後紹介。サンプルコード #include <stdio.h> #include <systemc.h> int main (int argc, char* argv[]) { sc_uint<8> in; in = 0xfa; bo</systemc.h></stdio.h>…

2012-12-10

SystemC：初期化リストを記述するようにしよう

SystemC

前回 name()関数使ってますか？紹介した際に、信号名の表示が Port_xになってます。これを宣言した変数名と同じ名前にするにはどうすればいいか？解決策としては、コンストラクタの初期化リストに記載することです。参考：ロベールのC＋＋教室 - 第22章 …

2012-12-09

SystemC：name()関数使ってますか？

SystemC

SystemCを構成しているライブラリには、name()関数が存在します。 name()関数は色々な場面で使えると思います。モジュールや信号のインスタンスを取得する。サンプルコード #include <systemc.h> SC_MODULE (hoge) { sc_in<bool> clock; sc_in<bool> reset; sc_in<sc_uint<8> > indata; sc_out<sc_uint<8></sc_uint<8></sc_uint<8></bool></bool></systemc.h>…