testing - 鋭い正式なベリファイアのインストール64ビット

Question

Cadence Incisive FormalVerifierを64ビットモードで実行できるかどうか知っていますか？

Answer 1

それはあなたのバージョンに依存しますが、私にとっては：

$ ifv -help | grep 64
17:     +64bit                            Runs IFV in 64 bit mode 

それを起動する：

$ ifv temp.v
ifv: 10.20-s100:

$ ifv +64bit temp.v
ifv(64): 10.20-s100: //<-64 bit Version

setenv CDS_AUTO_64BIT
$ ifv temp.v
ifv: 10.20-s100:

CDS_AUTO_64BIT は、ピックアップしたバージョンには影響しません。