Incisive Formal Verifier Installation 64 bit [closed]

Question

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

Want to improve this question? Update the question so it's on-topic for Stack Overflow.

Closed 8 years ago.

Improve this 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.