Verific パーサーと一緒に Yosys の正式な検証機能を使用しようとしています。
「read_verilog -formal」コマンドと比較して、正式な検証のために verific を使用する yosys でサポートされている機能は何ですか? たとえば、read_verilog で動作する正式なコードをすばやくコンパイルすると、「assume property」構文でエラーが発生しました。
より多くの機能をサポートするために Verific ライブラリ フラグを何らかの方法で変更する必要があるかどうか、またはそれがサポートされていないものであるかどうかはわかりません。