Question

Do you know IF i can run Cadence Incisive Formal Verifier in 64 BIT MODE ??

Answer 1

It depends on your version, but for me :

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

Launching it:

$ 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 has no effect on the version I pick up.