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
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 246 seconds]
Degi_ is now known as Degi
chrisgorman has joined #amaranth-lang
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
chrisgorman has quit [Quit: Leaving]
jn has quit []
jn has joined #amaranth-lang
jn has joined #amaranth-lang
jn has quit [Changing host]
<whitequark[cis]> devansh1729: sounds like the constraint isn't applied properly
SpaceCoaster_ has joined #amaranth-lang
SpaceCoaster has quit [Ping timeout: 260 seconds]
SpaceCoaster_ is now known as SpaceCoaster
chrisgorman has joined #amaranth-lang
chrisgorman has quit [Client Quit]
chrisgorman has joined #amaranth-lang
chrisgorman has quit [Client Quit]
chrisgorman has joined #amaranth-lang
chrisgorman has quit [Client Quit]
frgo_ has quit [Quit: Leaving...]
frgo has joined #amaranth-lang
frgo has quit [Client Quit]
frgo has joined #amaranth-lang
chrisgorman has joined #amaranth-lang
chrisgorman has quit [Client Quit]
chrisgorman has joined #amaranth-lang
mindw0rk has joined #amaranth-lang
mindw0rk has quit [Quit: ZNC 1.9.1 - https://znc.in]
mindw0rk has joined #amaranth-lang
jjsuperpower has joined #amaranth-lang
RobTaylor[m] has joined #amaranth-lang
<RobTaylor[m]> <sagepolyester[m]> "as in multi-threading simulation..." <- its quite difficult to do anything particularly effective - you can seperate clock domains between threads, or maybe split at bus coundaries. The main useful way to use parallelism is in parallelising your test suite, and that's easily done with pytest-xdist or similar.
<RobTaylor[m]> RobTaylor[m]: if you're interested, I can share some papers ;)
eigenform[m] has quit [Quit: Idle timeout reached: 172800s]
Chips4MakersakaS has joined #amaranth-lang
<Chips4MakersakaS> <RobTaylor[m]> "if you're interested, I can..." <- I do believe Verilator does support some multi-threaded simulation. But as Rob hinted to [Amdahl]( https://en.m.wikipedia.org/wiki/Amdahl%27s_law) is not your friend for digital simulation due to the synchronisation that has to happen between signals.
<_whitenotifier-4> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1536-b6bf515e5b2f7cb64fbeac7f17997e5099a80731 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-4> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth/compare/b6bf515e5b2f...ef4f68a1be4f
<_whitenotifier-4> [amaranth-lang/amaranth] rroohhh ef4f68a - hdl._dsl: use Enum for fsm state signal
<_whitenotifier-4> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1536-b6bf515e5b2f7cb64fbeac7f17997e5099a80731 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-4> [amaranth] whitequark closed pull request #1536: hdl._dsl: use `Enum` for fsm state signal - https://github.com/amaranth-lang/amaranth/pull/1536
<_whitenotifier-4> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±35] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/672201b07f96...2276c985ff2d
<_whitenotifier-4> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 2276c98 - Deploying to main from @ amaranth-lang/amaranth@ef4f68a1be4f549ecec0db73ebc751f7e8f6ac51 🚀
d_olex has joined #amaranth-lang