高速協調検証システム・モデリングガイド

パラメータの意味が同じsc_trace()を複数記述している、あるいは動的に複数回呼ぶ可能性がある

プロセスの最初に、入力端子を内部変数に読み込んでいない

• ビット選択が出来るなど便利なので無条件にやるべきか?

プロセスの途中で出力に代入している(style)

• プロセスの最後で1回だけバッファから代入するべき
• 出力を読み出せるようになる
• 間違って信号を使う可能性が減るので無条件にやるべきか?

sc_stop()をプロセス以外に記述している

sc_start(SC_ZERO_TIME)、sc_start(-1)あるいは、最初のsc_start()の後にsc_startを再度記述している

sc_stop() の後にシミュレーションは継続できない

sc_set_default_time_unit()に10の累乗以外の値を指定している

sc_set_default_time_unit()の設定値がsc_set_time_resolution()の設定値以上になっていない

複数のsc_set_default_time_unit()がある

sc_start()やsc_cycle()より後にsc_set_default_time_unit()がある

sc_clock()の時間単位の無い古い形式を使用している

sc_start()の時間単位の無い古い形式を使用している

SC_ZERO_TIME 及び -1 の場合を除く

sc_cycle()の時間単位の無い古い形式を使用している

SC_ZERO_TIME 及び -1 の場合を除く

sc_initialize()、sc_cycle()を使用している

sc_time を使用した sc_clock、wait() 使用不可 ?