testing - Incisive Formal Verifier 安装 64 位

Question

你知道我是否可以在 64 位模式下运行 Cadence Incisive Formal Verifier 吗？

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 对我选的版本没有影响。