3. 9 高速協調検証システムの記述スタイル
SystemCを使った高速協調検証システムは次のような流れ で検証を行ないます。

この中で、「人手設計」となっている 4 か所について、 その書き方を以下に説明していきます。
- ハードウェアのモデリング
- ソフトウェアRTOS (アセンブラ) Cソース化
- ソフトウェアRTOSモデリング
- Top Module (sc_main)の作成
SystemCを使った高速協調検証システムは次のような流れ で検証を行ないます。

この中で、「人手設計」となっている 4 か所について、 その書き方を以下に説明していきます。
これは短く言えばトランザクションレべルモデルの記述を用意することです。

【第二部】