Zachary Snow

@newAM Thanks for looking! I just created the v0.0.12 release [on GitHub](https://github.com/zachjs/sv2v/releases/tag/v0.0.12) and [on Hackage](https://hackage.haskell.org/package/sv2v-0.0.12). The Hackage build doesn't like the included bounds (unfortunately `stack sdist` and `stack upload` appear...

@spth I’m glad to hear you got this building on your system! Those test failures are due to the version of iverilog installed. Because iverilog’s behavior changes from time to...

As far as I know, the only outstanding item in this issue is ensuring nix regains a working build of sv2v. Please let me know if I'm missing something!

@newAM Thank you for fixing the nix build of sv2v! https://search.nixos.org/packages?type=packages&query=sv2v I am closing this and #282 as these build issues appear to be resolved. Please feel free to reopen...

I likely can't provide much help here because don't have access to a PowerPC machine. However, this build failure isn't specific to sv2v. Any advice you find online for installing...

Please try the following: - Clone the full sv2v repo. The Hackage tarball doesn't include the tests, as users don't generally need to run them. - Make your out-of-band build...

@spth Those test failures all appear to be due to an an outdated version of iverilog, as in https://github.com/zachjs/sv2v/issues/283#issuecomment-2098264126. It does look like you have a working build of sv2v...

I am closing this and #283 as these build issues appear to be resolved. Please feel free to reopen if not. Thank you @spth, @Bodigrim, and @newAM for your help!

What have you tried to this point? sv2v's README includes basic usage instructions. The output is intended to be Yosys-compatible.

> Does these verilog files works on Intel quartus? I don't have access to Quartus, so I can't say for sure. However, I would be interested in fixing issues that...