15:53 <jude59> whitequark any tips for getting an arbitrary button to act as the reset signal on the ECP5? I am requesting a button, then attempting to assign a ResetSignal() to its value. However, I get a DomainError telling me that my signal "refers to reset of reset-less domain sync". I do not have any assigns to sync in the module where I am making this

15:53 <jude59> assignment, but do have numerous in its submodules.

16:00 <agg> by default the ECP5Platform has a reset_less=True sync domain

16:00 <agg> (in vendor/lattice_ecp5.py line 310)

16:01 <agg> so you probably want to make your own sync domain explicitly instead

16:01 <agg> cd_sync = ClockDomain("sync", reset_less=False); m.domains += cd_sync; m.d.comb += cd_sync.clk.eq(platform.request("clk")), cd_sync.rst.eq(platform.request("rst"))

16:01 <agg> that sort of thing

16:01 <agg> (jude59: ^)

16:02 <agg> (reset_less=False is the default btw, just wrote it to be explicit)

16:02 <jude59> Ahh, that does make sense. Thanks!

16:02 <agg> oh, and that should be "platform.request("clk").i" etc, not just the bare pin object

16:03 <agg> there's some more complexity available to handle reset/configuration, the comments around that clock domain creation in lattice_ecp5.py give some details

16:04 <agg> but just doing ^ should work too afaik

16:05 <jude59> Agreed. Just did not initially realize the behavior was platform-specific and that I should look in the platform definition itself for the relevant info.

16:05 <agg> jude59: oh, looking at the lattice_ecp5 a bit more, if you specify a platform.default_rst, it will use that for the automatic sync domain and wire it to the GSR global reset signal

16:05 <agg> (set default_rst equal to a pin name, like default_clk is)

16:06 <agg> love when the comments are like "(None of this is documented)"

20:13 <d1b2> <J> (now that's an interesting bug WRT pings and channel membership on discord... I assume that's a matrix bridge bot?)

20:13 <d1b2> <J> clearly there's a jude59 in the channel, but discord pinged me instead of them... weird.

20:14 <d1b2> <J> I'd imagine not many people have single letter nicks and so they're unlikely to experience the glitch in development or testing.

20:14 <d1b2> <J> (I know this is OT, but it's too interesting not to comment on where it happens... I'll report it to discord)

20:18 <agg> Yea, both of us are on Freenode IRC

20:18 <sorear> jude59 is an IRC user; they do not appear to be connected via the matrix.org matrix-IRC bridge, although I can't rule out that they are self-hosting a matrix-IRC bridge

20:19 <agg> sorear: d1b2 is a discord bridge, too

20:19 <sorear> I know that

21:20 <d1b2> <J> hrmn