故障かな？と思ったら（FAQ）

Frequently Asked Questions

入力が8bitまでしか読み込まれない

入力を指定するTOMLファイルのbytesに256以上の値を指定している可能性があります。bytesはバイト単位での指定のみを受け付けます。 最新のIyokan（コミット3d1d0c5以降）ではこの場合警告を表示します。

# bytes = [0x1234]   ## Wrong
bytes = [0x34, 0x12] ## Correct

回路が意図した挙動をしない

まず（Iyokanを使用せずに）回路シミュレータ上で正しく動作することを確認してください。次に、Iyokanのplainモードで正しく動作することを確認してください。 Iyokanのplainモードで動作するにも関わらずtfhe/cufheモードで動作しない場合はIyokanのバグである可能性が高いため、issueなどで報告してください。

plainモードでfinflagが立っているのに停止しない

オプションでサイクル数を指定している場合、finflagの値に関わらず、その指定したサイクル数回処理が行われます。 finflagがアサートされたときに処理を止めたい場合は、オプションでのサイクル数指定を外してください。

SDFF が含まれるような回路を入力するとエラーが出る

これは意図した挙動です。ワークアラウンドとしては Yosys に食べさせるスクリプトファイルの abc の実行前に dfflegalize -cell $_DFF_P_ 01 を追加してください。

Iyokan では SDFF のサポートを行っていましたが、現在は無効化しています。これは SDFF の R 入力ポートに reset 以外のものが入力されるとうまく動作しないためです。おそらく D と R で ANDNOT をとったあとに D に入力するようにすればよいと思いますが、まだ修正していませんし、修正予定も特にありません。パッチは募集しています。