Checkを行う方法を紹介します。Ubuntu環境での導入を想定していますので、他の環境に導入したい方は参考程度にご覧ください。公式ページには以下のような説明がされています。CheckerがBuilt-inパッケージとして用意されていますが、言語ごとに自分で設定を記述する必要があり、導入に手間がかかります。細かい設定を行うことなく簡単に扱うことが出来ます。Checkを行いたい場合にはFlymakeの方が有用なのだと思います。FlymakeとFlycheckの差については以下のページで詳しく説明されています。ソフトウェアのインストールさて、Flycheckの対応言語を紹介しているページを確認してみます。VerilatorというEmacs外部のソフトウェアが必要となります。今回初めて知ったのですが、Verilatorは、論理合成可能なVerilogを検証のためのC/C++等に変換するソフトウェアです。つまるところトランスコンパイラな訳ですが、他の機能としてVerilogのLint機能が搭載されています。Checkを行います。Verilatorは以下のようにインストールすることが出来ます。以下が私のFlycheckの設定になります。'verilog-verilator))例として載せましたが、今回関係があるのは19行目の設定のみです。Flycheckをインストールし、19行目の設定を記述してください。Checkerが動作します。何やらエラーが出てしまいます。これについて調べていると、以下のissueを見つけました。errorsVerilatorの実行コマンドを$verilatorではなく$verilator_binにすることで動作するとのことです。上記リンク先のissueには、flycheck-verilog-verilator-executableを設定することで解決すると書かれていますが、よく分からなかったのでFlycheckのソースコード自体に変更を加えました。flycheck.elのソースコードにおいて、VerilatorのLint機能をコマンドで呼び出している箇所を以下のように変更します。Checkerを動作させることが出来ます。EmacsにはVerilogを記述するのに強力なverilog-modeがありますし、今後も使い続けたいですね。コメントをキャンセルメールアドレスが公開されることはありません。