Search code examples
testingveriloginstallation-packageformal-verification

Incisive Formal Verifier Installation 64 bit

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

Solution

  • 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.