whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 260 seconds]
Degi_ is now known as Degi
cr1901 has quit [Quit: Leaving]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
buganini has joined #amaranth-lang
urja has quit [Read error: Connection reset by peer]
urja has joined #amaranth-lang
buganini has quit [Ping timeout: 246 seconds]
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 246 seconds]
maikmerten[m] has joined #amaranth-lang
<maikmerten[m]> after toying around with some tutorials I found that for me, the best way to get started is... the "Getting started" section in the official docs. I now have a blinking HX8K breakout board in front of me.
<maikmerten[m]> still very much confused about platform.request("led"): This returns a single pin ("flipped(<Pin: Pin.Signature(1, dir='o'), path=('led_0',), name='led_0', o=(sig led_0__o)>)") and I wonder how to get access to all eight LEDs on the board
<zyp[m]> you just repeat that call as many times as you need
<zyp[m]> or you could do e.g. platform.request("led", 3) to get a specific one
<zyp[m]> the LEDs are defined as individual resources in the platform and therefore have to be requested one by one
<maikmerten[m]> can one somehow combine the single-bit signals to one 8-bit signal?
<zyp[m]> you could do something like leds = Cat(platform.request("led", i).o for i in range(8))
<maikmerten[m]> ah, great!
<maikmerten[m]> (works wonderfully, thanks)
<maikmerten[m]> I've seen several examples where a component inherits from "wiring.Component". Is there a reason why one wouldn't import wiring stuff via "from amaranth.lib.wiring import Component, In, Out" and then inheriting from "Component"?
<Wanda[cis]> amaranth.lib in general is kinda designed to be imported as modules, because it doesn't have a policy of not colliding names with amaranth.* and there are already a few (like Const vs data.Const)
<Wanda[cis]> but ultimately it is your choice; there are no collisions in amaranth.lib.wiring
<maikmerten[m]> ah, thanks for elaborating!
cr1901 has joined #amaranth-lang
buganini has joined #amaranth-lang
RobTaylor[m] has quit [Quit: Idle timeout reached: 172800s]
buganini has quit [Ping timeout: 252 seconds]
purdeaandrei[m] has joined #amaranth-lang
<purdeaandrei[m]> Why could I be getting a BrokenTrigger exception? I don't have any `async for` loops
<purdeaandrei[m]> All I have is something like:... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/BAGtacEALhxiQwrupMIbWHXo>)
<purdeaandrei[m]> this is inside a loop, but not inside an async for loop so the trigger combination should be re-created every time
whitequark[m] has joined #amaranth-lang
<whitequark[m]> a trigger is considered broken iff the trigger activates (the condition is met) but the process isn't waiting on the trigger
<whitequark[m]> by chance, is _signal changing at the exact same moment self._debounce_time expires?
balrog_ has joined #amaranth-lang
balrog has quit [Ping timeout: 255 seconds]
<purdeaandrei[m]> possible, if I adjust _debounce_time a tiny bit, it goes further
<purdeaandrei[m]> the await that I see in the backtrace, is that the trigger that is broken?
<whitequark[m]> I don't know what you're seeing in the backtrace
<whitequark[m]> since I don't have the backtrace in front of me, can you post it?
<purdeaandrei[m]> this is my whole snippet
<purdeaandrei[m]> i'm trying to make something that looks like a custom trigger
<whitequark[m]> sorry, I still can't answer the question about a backtrace without seeing a backtrace
<purdeaandrei[m]> this is an example of my backtrace
<purdeaandrei[m]> is it a problem if it changes at the same time?
<purdeaandrei[m]> I added a comment to show which line the backtrace is pointing to
<whitequark[m]> it should not be; I think this is a defect in the simulator implementation
<whitequark[m]> and yes, the line you highlighted is the trigger that gets broken
<whitequark[m]> can you file a minimal example as an Amaranth issue please?
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 252 seconds]
<_whitenotifier-1> [amaranth] purdeaandrei opened issue #1508: Broken Trigger when for TriggerCombination delay/changed expires at the same time - https://github.com/amaranth-lang/amaranth/issues/1508
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 265 seconds]
<purdeaandrei[m]> is there a way I can find out the current simulation time? like $realtime in verilog?
<Wanda[cis]> not yet (there is a pending RFC that will add it)
<Wanda[cis]> oh fore
mwkmwkmwk[m] has joined #amaranth-lang
<mwkmwkmwk[m]> not yet; there is an accepted RFC that will add one
<whitequark[m]> there's even a partial implementation
vegard_e[m] has joined #amaranth-lang
<vegard_e[m]> I'm writing tests for it now
<whitequark[cis]> (note that purdeaandrei can't see your responses since i still haven't repaired the bridge)
buganini has joined #amaranth-lang
<zyp[m]> that's why I wrote it on discord
buganini has quit [Ping timeout: 244 seconds]
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
<zyp[m]> tests done, just remains to put it to use now
<whitequark[cis]> the agenda for the monday meeting is RFC #73 "Stricter connections"
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 248 seconds]
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #amaranth-lang
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 255 seconds]
<Wanda[cis]> for the record I will be on a train with spotty internet coverage during tomorrow meeting
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 246 seconds]
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 245 seconds]
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 272 seconds]
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 252 seconds]
buganini has joined #amaranth-lang
buganini has quit [Ping timeout: 246 seconds]