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.catirclogs.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
<whitequark[cis]> adamgreig: poke re: LFSR RFC!
adamgreig[m] has joined #amaranth-lang
<adamgreig[m]> heya! sorry, been completely underwater, but it's still on my list to try and get done this week
<whitequark[cis]> thank you! (I pretty much just ping you whenever I go "I could really use an LFSR right now")
<whitequark[cis]> so, hopefully it's taken as an indication of direct interest in it :)
Degi has quit [Ping timeout: 260 seconds]
Degi has joined #amaranth-lang
frgo has quit [Read error: Connection reset by peer]
frgo has joined #amaranth-lang
zyp[m] has joined #amaranth-lang
<zyp[m]> if I'm late for today's meeting, my disposition on #79 is merge
<zyp[m]> (but I'll try to be ready in time)
<whitequark[cis]> it is time for our regular Monday meeting. who is attending?
Wanda[cis] has joined #amaranth-lang
<Wanda[cis]> meow
<zyp[m]> o/
<whitequark[cis]> today we have one item on the agenda: Add PortLike.with_direction https://github.com/wanda-phi/rfcs/blob/port-with-direction/text/0079-port-with-direction.md
<whitequark[cis]> please respond with your comments or disposition: merge or close
<zyp[m]> unless anybody else has any discussion points, my disposition is still merge :)
<tpw_rules> stupid qs without enough context, what happens to the non-used pieces? they are simply not hooked up and take the same init value as in RFC55? i guess normal mechanisms stop you from using the e.g. output half twice on the original port?
<zyp[m]> this happens before the IO buffer construction
<Wanda[cis]> ... init value?
<tpw_rules> zyp[m]: that answers it, thank you.
<Wanda[cis]> I don't think I understand the question
<zyp[m]> «what happens to the output signals when you make an IO port into an input?»
<zyp[m]> and the answer is there is no output signals, because no IO buffer is constructed
<Wanda[cis]> oh.
<Wanda[cis]> yeah. the answer is that nothing at all happens until you actually construct a buffer using the port
<Wanda[cis]> you can already construct an output-only io.Buffer on a bididrectional port; this RFC merely provides a wrapper that prevents you from creating any other kind of buffer than output-only
<Wanda[cis]> and if you try to use both the original and the new port, the result is the same as if you used the original port twice (ie. a double-use error)
<tpw_rules> sounds good, thank you
<Wanda[cis]> we actually have a very similar mechanism to the proposed one (creating a modified port out of an existing port): inverting a port via ~port; the rules are pretty much the same
<whitequark[cis]> all right, disposition on RFC 79: merge
<whitequark[cis]> thank you everyone, that is all for today
d_olex has quit [Remote host closed the connection]
d_olex has joined #amaranth-lang
d_olex has quit [Ping timeout: 248 seconds]
d_olex has joined #amaranth-lang
d_olex has quit [Ping timeout: 244 seconds]
d_olex has joined #amaranth-lang