Zachary Snow

@jrrk2: * I'm glad the LLVM dependency is indeed gone. Thanks for confirming! * As for the tests, because both iverilog and sv2v and its test cases are changing over...

Thanks for sharing this test case! After minimizing the input, I believe this is the sane as #265.

I've attached my "minimized" version of your example. [out.sv.txt](https://github.com/zachjs/sv2v/files/15308640/out.sv.txt) To me, it looks like `.insn` will be accessed so long as sv2v cannot determine that `CVA6ExtendCfg.EnableAccelerator` is false. At elaboration...

Although sv2v has extensive test coverage (you can check its code coverage with `make coverage`), this repository doesn't include regression tests, per se. sv-tests already covers a handful of large...

> We also agree that moving the focus of your QA process to sv-tests is a worthy idea. However, to get the most out of it, the sv-tests would need...

Thank you for starting this discussion! I don't think there are outstanding action items for sv2v, as sv-tests is better suited for these sorts of large and widely-applicable test cases....

Can you help me understand the specifics of your proposal here? If there is some bug in sv2v that requires additional preprocessing, shouldn't we try to fix sv2v itself?

I haven't used SVAse, and so don't know how many of the sv-tests failures would actually be fixed if it were "integrated" into sv2v. If there is "pressure" from some...

@phsauter That makes sense to me. Would you mind sharing examples of inputs that don't convert correctly when passed directly to sv2v, but do work when pre-elaborated with SVase? This...

Thanks @chili-chips-ba for filing this issue! As discussed earlier, I think these two projects can already be used together and may not benefit from native integration. I am of course...