00:37 <d1b2> <fm> Hey everyone, I'm designing a rather complex accelerator to be implemented in a fpga but maybe later in an asic. Currently it is designed in systemverilog and tbh it looks like porting it into amaranth will make the rest of the design easier and it's formal verification too. But since I've never used Amaranth/nMigen/Migen, it's hard to predict its shortcomings that I will need to face in the future.. Is it a good idea?

00:41 <d1b2> <dragonmux> from our own experiences designing hardware in Amaranth that we've first sim'd then run on FPGAs to verify then used the open ASIC flows (OpenLANE targeting efabless Sky130 predominantly) on.. it is worth doing at least once

00:42 <_whitenotifier-7> [YoWASP/nextpnr] whitequark pushed 1 commit to develop [+0/-0/±1] https://github.com/YoWASP/nextpnr/compare/7b369cb734e4...9900819dbf20

00:42 <_whitenotifier-7> [YoWASP/nextpnr] whitequark 9900819 - Update dependencies.

00:43 <d1b2> <fm> @dragonmux did you only tried it once then? Or have you been using Amaranth ever since?

00:46 <d1b2> <dragonmux> we were using Amaranth before, but our wife and us wrote the Amaranth OpenLANE integrations and we've made a couple of ASICs that way (though regrettably not yet taped out to the MPWs) with plans to make more in the future

00:47 <d1b2> <dragonmux> it's been an ongoing project of ours to completely build an Amaranth platform that defines the Caravel harness so we can finish a tapeout and get one of the projects made

00:48 <d1b2> <dragonmux> a; minus the harness, though.. the OpenLANE integration works and allows you to make usable ASICs

00:48 <d1b2> <Ada> minus the harness, though.. the OpenLANE integration works and allows you to make usable ASICs

00:50 <d1b2> <fm> why don't you just "compile" Amaranth into verilog and build the ASIC from there?

00:54 <d1b2> <dragonmux> simply enough, because while that works.. it means having to manage the flow configuration outside of Amaranth and remember how exactly to run the flow.. when the Amaranth Platform object can just codify it and have the config live as part of the platform, tunable as part of running your Amaranth build

00:54 <d1b2> <dragonmux> basically.. 2 steps and 2 lots of config vs a single step and all the config in one spot..

01:03 <d1b2> <fm> Ok, overall Amaranth looks like a better choice

01:34 <tpw_rules> dragonmux: are those projects public anywhere?

01:45 <d1b2> <dragonmux> yeah, https://github.com/dragonmux/OpenPICle is one, https://github.com/shrine-maiden-heavy-industries/amaranth-asic is the re-done ASIC flow stuff (https://github.com/lethalbit/amaranth was the original that OpenPICle is currently based against - needs porting over), and https://github.com/dragonmux/iCEd-Salvador was the other one we were planning to eventually ASIC target that's public - the other projects are still only planned but

01:45 <d1b2> we plan to build an open AVR core w/ JTAG-PDI and peripherals in Amaranth and target that to the Skywater/efabless shuttles

02:01 <tpw_rules> have you worked with nix before?

02:02 <d1b2> <dragonmux> a little, we use it with Aki for our shared infrastructure

02:03 <tpw_rules> ah cool. i've been pondering about its applications in this sort of cross-tool complex build process. don't love all the sort of half-implemented python wrappers

02:04 <tpw_rules> not sure what it might look like to formalize it, and it probably could not be the default

20:37 <_whitenotifier-7> [amaranth-boards] sporniket commented on issue #128: [RFC] Testing and releasing nmigen-boards - https://github.com/amaranth-lang/amaranth-boards/issues/128#issuecomment-1250137021

20:40 <_whitenotifier-7> [amaranth-boards] whitequark commented on issue #128: [RFC] Testing and releasing nmigen-boards - https://github.com/amaranth-lang/amaranth-boards/issues/128#issuecomment-1250137410

20:42 <_whitenotifier-7> [amaranth-boards] sporniket commented on issue #127: Factor out resource "vga" - https://github.com/amaranth-lang/amaranth-boards/issues/127#issuecomment-1250137557

20:42 <_whitenotifier-7> [amaranth-boards] whitequark closed issue #127: Factor out resource "vga" - https://github.com/amaranth-lang/amaranth-boards/issues/127

20:42 <_whitenotifier-7> [amaranth-boards] whitequark commented on issue #127: Factor out resource "vga" - https://github.com/amaranth-lang/amaranth-boards/issues/127#issuecomment-1250137608

20:43 <_whitenotifier-7> [amaranth-boards] sporniket commented on issue #126: Factor out resource "ps2" - https://github.com/amaranth-lang/amaranth-boards/issues/126#issuecomment-1250137697

20:43 <_whitenotifier-7> [amaranth-boards] whitequark closed issue #126: Factor out resource "ps2" - https://github.com/amaranth-lang/amaranth-boards/issues/126

20:43 <_whitenotifier-7> [amaranth-boards] whitequark commented on issue #126: Factor out resource "ps2" - https://github.com/amaranth-lang/amaranth-boards/issues/126#issuecomment-1250137749

20:45 <_whitenotifier-7> [amaranth] whitequark reviewed pull request #712 commit - https://github.com/amaranth-lang/amaranth/pull/712#discussion_r973626923

20:50 <_whitenotifier-7> [amaranth-boards] sporniket commented on issue #128: [RFC] Testing and releasing nmigen-boards - https://github.com/amaranth-lang/amaranth-boards/issues/128#issuecomment-1250138554