Soft-FPGA-Othello

FAQ

Q1-verilator出力のC++ソースを修正する必要はあるか？

• A: ありません。
• verilatorはLinux向けビルドを想定しているので、出力C++ソースではpthread mutexを使っています。

• pico SDKはpthread mutexをサポートしていないので、そのままではコンパイルエラーになります。(verilatorのフラグオプションで thread 1に指定してもmutexを使う)

• 何もしないダミーmutexクラスをヘッダーファイルstub_mutex.hで定義することにより、pico SDK C++でビルドできるようにしています。
• 通常であれば、stub_mutex.hをverilator出力のCPPソースの先頭に#include "stub_mutex.h"と書けばコンパイルできるようになります。
• しかしながら、verilator変換は何度も実行するので、その度に毎回出力ソースファイルを修正するのは手間がかかります。

• そこで、ヘッダーファイルstub_mutex.hを読み込むようにg++フラグオプションで指定します。

  g++ -include stub_mutex.h -o output source.cpp
  

• -include オプション
  • 特定のヘッダーファイルを強制的にインクルードします。ソースコードに #include を書かなくても、指定したヘッダーファイルが自動的にインクルードされます。
• 実際はCMakeLists.txtに書かれています。

  • CMakeLists.txt

        # dir_obj/*.cppに -include stub_mutex.h を適用
        set_source_files_properties(${VERILATOR_SOURCES} PROPERTIES COMPILE_FLAGS "-include stub_mutex.h")
    

• 結論
  • verilatorの出力C++ソースを修正する必要はありません。

---

This site is open source. Improve this page.