Can pyvsc be used with a 32 bits python version? #157
-
|
I would like to use pyvsc and cocotb with modelsim as my simulator. When I do so with a 32 bits version of python pyboolector doesn't seems to be installed properly. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
Hi @fdrichardson, |
Beta Was this translation helpful? Give feedback.
-
|
Hello @mballance, I am using Linux. Unfortunately I am not using the OEM version of Modelsim provided with Quartus. Thank you for your quick response. |
Beta Was this translation helpful? Give feedback.
Hi @fdrichardson,
As you noticed, currently only 64-bit Linux builds of pyBoolector are available. You don't mention the platform (ie Windows/Linux) above. Are you using Linux?
I ask because, if you happen to be using the OEM version of Modelsim provided with Quartus, the latest Quartus version provides a 64-bit version of Modelsim. You do have to request a free license, but I found the process pretty simple overall.