Matthew Ballance

What issue(s) did you encounter? I had the following interconnect, configured with two masters, in my MPW-one submission: https://github.com/Featherweight-IP/fw-wishbone-interconnect

> Ouch, you're right. I didn't consider the generated netlists :/ > > I guess this should be reported to Yosys as well for the future, or maybe that is...

Hi Hodjat, Yes, covergroups and inheritance isn't implemented at the moment. Perhaps the library should trap inheritance and error out for now... That said, the ability to have inheritance is...

Okay, I've add a check for inheritance for now. I've also kept this issue open as an enhancement

Clearly this has taken a bit of lower priority, given that I (and others that I know) are taking the pyVSC coverage data directly into commercial-EDA flows for manipulation. Let...

Hi @msmftc, I've implemented support for modifying rangelists in release 0.6.4. Here's a test showing off a couple of the new methods (clear, append, extend) on rangelist: https://github.com/fvutils/pyvsc/blob/dd5405e52a32b8a3a744fa67a33dbf34c09143c2/ve/unit/test_constraint_rangelist.py#L50-L97

Hi @EngRaff92, that's strange -- especially because my understanding is that the 'pip install' operations completed without error. Can you confirm this is the case? One difference I see vs...

Oh... Hmm... The errors produced are, to put it mildly, difficult to understand. I think I see the issue, though. You're running Arm-architecture macOS, which isn't yet supported by GitHub...

@EngRaff92, I think what you can do is to install pyVSC with --no-deps and add the Boolector Python package (I assume you build Boolector with the Python interface enabled) on...

Hate to ask an "is it plugged-in" question, but can you confirm that the configure command for python3 includes both --python and --py3? Also, can you confirm that you remove...