search

amaranth-lang / amaranth

A modern hardware definition language and toolchain based on Python
https://amaranth-lang.org/docs/amaranth/
BSD 2-Clause "Simplified" License
1.52k stars 168 forks source link

Generated Verilog should be more readable #105

Open nmigen-issue-migration opened 5 years ago

nmigen-issue-migration commented 5 years ago

Issue by whitequark Tuesday Jun 11, 2019 at 04:09 GMT Originally opened as https://github.com/m-labs/nmigen/issues/98

This is solely blocked on Yosys issue yosyshq/yosys#726. It's in my queue for some time, but the threshold for merging it is fairly high (multiple days of randomized testing), so I haven't been able to push it to completion yet.

nmigen-issue-migration commented 5 years ago

Comment by mithro Tuesday Jun 11, 2019 at 07:48 GMT

@whitequark Would having access to a bunch of CPU resources help with the randomized testing?

nmigen-issue-migration commented 5 years ago

Comment by whitequark Tuesday Jun 11, 2019 at 07:51 GMT

@mithro It's kind of a pain to set up VlogHammer in the first place. I think I can use the M-Labs machine for testing that once I have a general confidence in the correctness of the changes to that pass.

nmigen-issue-migration commented 5 years ago

Comment by whitequark Sunday Jul 14, 2019 at 03:34 GMT

Would having access to a bunch of CPU resources help with the randomized testing?

Actually, what kind of resources can you provide? If it's something monstrous like a 64-core machine I'd be interested. VlogHammer is embarrassingly parallel, so it pays off to use a huge number of slower cores.

nmigen-issue-migration commented 5 years ago

Comment by mithro Monday Jul 15, 2019 at 14:01 GMT

I could provide pretty much anything on the list at https://cloud.google.com/compute/docs/machine-types

Anything like the following might work?

nmigen-issue-migration commented 5 years ago

Comment by whitequark Wednesday Jul 31, 2019 at 04:58 GMT

Fixing YosysHQ/yosys#726 proved to be extraordinarily complex, so bumping this from 0.1 milestone.