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
__DuBPiRaTe__ has joined #amaranth-lang
SpaceCoaster has quit [Quit: Bye]
__DuBPiRaTe__ has quit [Remote host closed the connection]
__DuBPiRaTe__ has joined #amaranth-lang
<_whitenotifier-3> [amaranth] whitequark closed issue #1446: Tracking issue for RFC 69: Add a `lib.io.PortLike` object usable in simulation - https://github.com/amaranth-lang/amaranth/issues/1446
__DuBPiRaTe__ has quit [Quit: Leaving]
<_whitenotifier-3> [amaranth] whitequark opened issue #1454: `io.SimulationPort` invites undetected driver-driver conflicts that nondeterministically break semantics - https://github.com/amaranth-lang/amaranth/issues/1454
SpaceCoaster has joined #amaranth-lang
skipwich_ has quit [Quit: DISCONNECT]
skipwich has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 252 seconds]
Degi_ is now known as Degi
tpw_rules has quit [Excess Flood]
tpw_rules has joined #amaranth-lang
eldiem has quit [Ping timeout: 245 seconds]
eldiem has joined #amaranth-lang
d_olex has quit [Ping timeout: 248 seconds]
urja has quit [Read error: Connection reset by peer]
urja has joined #amaranth-lang
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
mabl[m] has quit [Quit: Idle timeout reached: 172800s]
Hoernchen_ has joined #amaranth-lang
Hoernchen has quit [Ping timeout: 252 seconds]
SpaceCoaster has quit [Quit: Bye]
SpaceCoaster has joined #amaranth-lang
SpaceCoaster has quit [Client Quit]
SpaceCoaster has joined #amaranth-lang
SpaceCoaster has quit [Ping timeout: 276 seconds]
SpaceCoaster has joined #amaranth-lang
SpaceCoaster has quit [Read error: Connection reset by peer]
SpaceCoaster_ has joined #amaranth-lang
ChanServ has quit [shutting down]
SpaceCoaster_ is now known as SpaceCoaster
ChanServ has joined #amaranth-lang
mcc111[m] has joined #amaranth-lang
<mcc111[m]> Say I'm trying to figure out if I can participate in this. https://fosstodon.org/@mole99/112812009326790415
<mcc111[m]> Is it feasible to target Tiny Tapeout from amaranth or something amaranth can compile to? What additional skills would I need to pick up to achieve this?
<whitequark[cis]> possible
<mcc111[m]> 👍
zyp[m] has joined #amaranth-lang
<zyp[m]> so the fundamental issue behind #1454 is that a signal can only be driven by a single module, am I getting that right? i.e. separate modules aren't allowed to write the same signal even though they're touching non-overlapping slices of it
Wanda[cis] has joined #amaranth-lang
<Wanda[cis]> correct
<Wanda[cis]> (I intend to fix that issue very soon FWIW)
<zyp[m]> soon enough that a workaround for SimulationPort would be pointless?
<zyp[m]> so, the simple and obvious workaround is to avoid slicing by instead making a tuple of single bit signals, and having the property getters concatenate them: https://github.com/zyp/amaranth/commit/f8b0f7bd7172bb8f6151cef148ceb4eb92d28314
<zyp[m]> that of course breaks all the test cases that expects the getters to return an actual signal, but it fixes the example in #1454
<zyp[m]> (and yes, this is obvious enough that I'm not gonna be surprised if this was already considered and shot down)
<zyp[m]> but it piqued my curiosity and gave me an opportunity to look into how SimulationPort was implemented
FFY00_ has quit [Remote host closed the connection]
<Wanda[cis]> indeed we have already discussed it yesterday and came to this conclusion.
<Wanda[cis]> there were several workarounds suggested, all of them unsatisfactory
<Wanda[cis]> so I'm just going to fix the underlying issue and allow driving individial bits per-module, as it should be
<Wanda[cis]> we were originally planning to do it by making pysim2 and scopes-lite, and thus obliterating the offending code wholesale, but since it just got reprioritized given the sim port situation, I'll just fix the existing code
Hoernchen_ has quit [Ping timeout: 248 seconds]
Hoernchen has joined #amaranth-lang
<zyp[m]> makes sense
FFY00 has joined #amaranth-lang
<_whitenotifier-3> [amaranth] bl0x opened pull request #1455: vendor._gowin: Fix sdc file syntax. - https://github.com/amaranth-lang/amaranth/pull/1455
Hoernchen has quit [Ping timeout: 248 seconds]
Hoernchen_ has joined #amaranth-lang
<_whitenotifier-3> [amaranth] codecov[bot] commented on pull request #1455: vendor._gowin: Fix sdc file syntax. - https://github.com/amaranth-lang/amaranth/pull/1455#issuecomment-2241326523
Hoernchen_ has quit [Ping timeout: 260 seconds]
Hoernchen has joined #amaranth-lang
oter_ has joined #amaranth-lang
ormiret_ has joined #amaranth-lang
cyrozap_ has joined #amaranth-lang
oter has quit [Read error: Connection reset by peer]
oter_ is now known as oter
XgF has quit [Remote host closed the connection]
cyrozap has quit [Read error: Connection reset by peer]
_catircservices1 has quit [Ping timeout: 258 seconds]
miek has quit [Ping timeout: 258 seconds]
smkz has quit [Ping timeout: 258 seconds]
ormiret has quit [Ping timeout: 258 seconds]
ormiret_ is now known as ormiret
_catircservices1 has joined #amaranth-lang
miek has joined #amaranth-lang
Xesxen has quit [Ping timeout: 258 seconds]
lambda has quit [Ping timeout: 258 seconds]
phire has quit [Ping timeout: 258 seconds]
Xesxen has joined #amaranth-lang
phire has joined #amaranth-lang
lambda has joined #amaranth-lang
XgF has joined #amaranth-lang
vup has quit [Ping timeout: 258 seconds]
vup has joined #amaranth-lang
smkz has joined #amaranth-lang
<_whitenotifier-3> [amaranth] bl0x commented on issue #953: Gowin vendor definitions don't support the GW1NR-LV9QN88PC6/I5 (tang nano 9k) but apicula does - https://github.com/amaranth-lang/amaranth/issues/953#issuecomment-2241338207