Wilson Snyder

Note scv is using cudd 2.3.0 which is old, if you looking into it use the latest (3.0.0?).

I'm not ruling any options out at this point, it just seemed you had ruled out SCV and my point was the main library isn't SCV but cudd which is...

It looks like any parameter can't be used as a pattern member left hand side. V3Width probably needs to handle this. A complication might be when parameters are resolved.

As you note this behavior is outside the standard. But, if you see some consensus among other tools Verilator certainly should align. If you could please summarize the other simulator...

This is due to #1541. Ideally it should give a much cleaner UNSUPPORTED error, so will leave this open with that suggestion. (Well, really ideally, #1541 would be fixed to...

Are you really using OVM vs UVM? OVM was basically replaced by UVM 10 years ago, so I'm surprised is still of any interest? As to the issues many overlap...

>I would like to see separate tracking issues for many common verification libraries Yes, agreed. That's reasonable, I just wanted to make sure it wasn't a case of UVM didn't...

For the tests, I suggest have the enum be something that is set based on a parameter passed down. Then instantiate that module with a different parameter value. Finally in...

Yes, I think you need to move the VAR in addition to the INITARRAY. The ARRAYSEL and VARREF should persist until constification. Then in V3Const, if it doesn't already make...

The problem here is AUTOOUTPUTEVERY is expanded after AUTOWIRE (and some others) which it needs to be as it wants to output what gets declared by AUTOWIRE (only if it...