cadence - Ocean Script でのファイルへのデータ書き込みの難しさ

Question

以下のコードはファイルを作成しますが、データを書き込みません。

p=outfile("outfile.txt" "w")
fprintf(p "write to out file")

Answer 1

Cadence はファイルにバッファー IO を使用するため、出力を表示するには、次のようにポートを明示的にフラッシュする必要があります。

drain(p)

ポートを閉じると、ポートも自動的にフラッシュされるため、これは中間出力を見たい場合にのみ必要です。