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
jess has quit []
<_whitenotifier-5> [yosys] whitequark created branch develop-0.39 - https://github.com/YoWASP/yosys
<_whitenotifier-7> [yosys] whitequark created branch release-0.39 - https://github.com/YoWASP/yosys
lf has quit [Ping timeout: 246 seconds]
lf has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 256 seconds]
Degi_ is now known as Degi
<_whitenotifier-5> [amaranth] mcclure commented on pull request #1196: Some f-strings in utils.py are broken (missing the letter "f") - https://github.com/amaranth-lang/amaranth/pull/1196#issuecomment-1993430661
<_whitenotifier-5> [amaranth] wanda-phi commented on pull request #1196: Some f-strings in utils.py are broken (missing the letter "f") - https://github.com/amaranth-lang/amaranth/pull/1196#issuecomment-1993442652
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1196 commit - https://github.com/amaranth-lang/amaranth/pull/1196#discussion_r1522549155
<_whitenotifier-7> [yosys] ramalhais opened issue #32: Please add examples on how to use this module - https://github.com/YoWASP/yosys/issues/32
<_whitenotifier-7> [yosys] whitequark commented on issue #32: Please add examples on how to use this module - https://github.com/YoWASP/yosys/issues/32#issuecomment-1993615924
trabucay1e has joined #amaranth-lang
trabucayre has quit [Read error: Connection reset by peer]
chaoticryptidz has quit [Quit: No Ping reply in 180 seconds.]
trabucay1e is now known as trabucayre
Stary has quit [Ping timeout: 268 seconds]
chaoticryptidz has joined #amaranth-lang
cyrozap has quit [Quit: ZNC 1.8.2+deb3.1 - https://znc.in]
Stary has joined #amaranth-lang
cyrozap has joined #amaranth-lang
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #amaranth-lang
Degi has quit [Ping timeout: 246 seconds]
Degi has joined #amaranth-lang
FireFly has quit [Ping timeout: 252 seconds]
Effilry has joined #amaranth-lang
Xesxen has quit [Ping timeout: 252 seconds]
Xesxen has joined #amaranth-lang
Effilry is now known as FireFly
<_whitenotifier-5> [amaranth] wanda-phi opened pull request #1198: lib.memory: Allow setting `Memory.init`. - https://github.com/amaranth-lang/amaranth/pull/1198
<_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1198: lib.memory: Allow setting `Memory.init`. - https://github.com/amaranth-lang/amaranth/pull/1198#issuecomment-1994333766
<_whitenotifier-7> [amaranth] wanda-phi opened pull request #1199: sim: Do not direct user to deprecated `add_sync_process`. - https://github.com/amaranth-lang/amaranth/pull/1199
<_whitenotifier-7> [amaranth] codecov[bot] commented on pull request #1199: sim: Do not direct user to deprecated `add_sync_process`. - https://github.com/amaranth-lang/amaranth/pull/1199#issuecomment-1994340543
<_whitenotifier-5> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1198-cb96b15b8cbdee56651f783977c478786ec331f4 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1199-455a7bc6c8e46493d5124d5a1b8d5f76d50503dd - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/cb96b15b8cbd...455a7bc6c8e4
<_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 455a7bc - lib.memory: Allow setting `Memory.init`.
<_whitenotifier-7> [amaranth] whitequark closed pull request #1198: lib.memory: Allow setting `Memory.init`. - https://github.com/amaranth-lang/amaranth/pull/1198
<_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1198-cb96b15b8cbdee56651f783977c478786ec331f4 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [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/a3a5f44dbde6...a2563b762bdf
<_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] a2563b7 - Deploying to main from @ amaranth-lang/amaranth@455a7bc6c8e46493d5124d5a1b8d5f76d50503dd 🚀
<_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth/compare/455a7bc6c8e4...5edff532a841
<_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 5edff53 - sim: Do not direct user to deprecated `add_sync_process`.
<_whitenotifier-7> [amaranth] whitequark closed pull request #1199: sim: Do not direct user to deprecated `add_sync_process`. - https://github.com/amaranth-lang/amaranth/pull/1199
<_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1199-455a7bc6c8e46493d5124d5a1b8d5f76d50503dd - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [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/a2563b762bdf...8b232d82f2ed
<_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 8b232d8 - Deploying to main from @ amaranth-lang/amaranth@5edff532a8411b92010a8ba4400e39d3ae66a7af 🚀
<Wanda[cis]> cr1901: two fixes for the issues you reported just landed on main
mindw0rk has quit [Ping timeout: 256 seconds]
mindw0rk has joined #amaranth-lang
<_whitenotifier-5> [rfcs] wanda-phi opened pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58
<_whitenotifier-7> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523365255
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523362591
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523357479
<_whitenotifier-7> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523367225
<_whitenotifier-7> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523370983
<_whitenotifier-5> [rfcs] wanda-phi reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523372458
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523373244
<_whitenotifier-7> [rfcs] wanda-phi reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523377587
<_whitenotifier-5> [rfcs] whitequark commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994548262
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523378492
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523379321
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523379909
<_whitenotifier-5> [amaranth] mcclure commented on pull request #1196: Some f-strings in utils.py are broken (missing the letter "f") - https://github.com/amaranth-lang/amaranth/pull/1196#issuecomment-1994576221
<_whitenotifier-5> [rfcs] wanda-phi commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994578402
<_whitenotifier-5> [rfcs] whitequark commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994582149
<_whitenotifier-7> [rfcs] whitequark commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994587712
<_whitenotifier-5> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1196-5edff532a8411b92010a8ba4400e39d3ae66a7af - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [rfcs] wanda-phi commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994594842
<_whitenotifier-5> [rfcs] wanda-phi reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523427933
<_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/5edff532a841...27ca96383eed
<_whitenotifier-7> [amaranth-lang/amaranth] mcclure 27ca963 - utils: F-strings are missing the letter "f"
<_whitenotifier-7> [amaranth] whitequark closed pull request #1196: Some f-strings in utils.py are broken (missing the letter "f") - https://github.com/amaranth-lang/amaranth/pull/1196
<_whitenotifier-5> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1196-5edff532a8411b92010a8ba4400e39d3ae66a7af - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [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/8b232d82f2ed...b6e46c388d31
<_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] b6e46c3 - Deploying to main from @ amaranth-lang/amaranth@27ca96383eedd68758dec50f0548299b5f932c6f 🚀
<_whitenotifier-5> [rfcs] wanda-phi commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994626036
<_whitenotifier-5> [rfcs] whitequark commented on pull request #58: Add an RFC for `ValueCastable` formatting. - https://github.com/amaranth-lang/rfcs/pull/58#issuecomment-1994750982
<_whitenotifier-7> [rfcs] whitequark reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523529709
<_whitenotifier-5> [rfcs] wanda-phi reviewed pull request #58 commit - https://github.com/amaranth-lang/rfcs/pull/58#discussion_r1523532857
<_whitenotifier-7> [rfcs] tpwrules reviewed pull request #57 commit - https://github.com/amaranth-lang/rfcs/pull/57#discussion_r1523619773
<_whitenotifier-5> [rfcs] tpwrules reviewed pull request #57 commit - https://github.com/amaranth-lang/rfcs/pull/57#discussion_r1523623287
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #57 commit - https://github.com/amaranth-lang/rfcs/pull/57#discussion_r1523628201
<Wanda[cis]> question on RFC 51 implementation: should from_bits be required to return something on every possible bitpattern, or is it allowed to raise an exception?
<whitequark[cis]> hm.
<whitequark[cis]> what should from_bits called for a nonexistent enum value return?
<whitequark[cis]> I think it's OK for it to raise an exception (we should recommend it be ValueError)
<whitequark[cis]> you can always get around that by calling .as_value(), and also you probably want your testbench to blow up in that case
<whitequark[cis]> we don't require const to be bijective either (and we probably can't)
Chips4MakersakaS has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier-5> [amaranth] wanda-phi opened pull request #1200: tests: Exorcise some star-imports. - https://github.com/amaranth-lang/amaranth/pull/1200
<Wanda[cis]> bleh, I wasted #1200 on this?
<_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1200: tests: Exorcise some star-imports. - https://github.com/amaranth-lang/amaranth/pull/1200#issuecomment-1995199182
<galibert[m]> Well, for an exorcism, not so bad
<_whitenotifier-5> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1200-27ca96383eedd68758dec50f0548299b5f932c6f - https://github.com/amaranth-lang/amaranth
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/27ca96383eed...49dee891e870
<_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 49dee89 - tests: Exorcise some star-imports.
<_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1200-27ca96383eedd68758dec50f0548299b5f932c6f - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [amaranth] whitequark closed pull request #1200: tests: Exorcise some star-imports. - https://github.com/amaranth-lang/amaranth/pull/1200
<_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 0755448 - Deploying to main from @ amaranth-lang/amaranth@49dee891e870fa350ed95a042b0360540ba8c04e 🚀
<_whitenotifier-7> [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/b6e46c388d31...075544821633
mcc111[m] has quit [Quit: Idle timeout reached: 172800s]
<cr1901> Wanda[cis]: Tyvm :D
<cr1901> (for the fixes)
nates93[m] has joined #amaranth-lang
<nates93[m]> Is there a suggested way of checking that an input Signal to my module is clocked in the same domain that I'm going to read the signal in?
<Wanda[cis]> there isn't really a way to do that
<Wanda[cis]> there is a CDC analysis pass that would verify things post-factum, but it's not on the near roadmap yet
<Wanda[cis]> * is a planned CDC analysis
<nates93[m]> I see. I assumed there would be a way to do it, considering at some point there are checks for driving signals from multiple domains (and hence knowledge about which domain a signal is driven from).
<Wanda[cis]> that happens after your elaborate function has already run
<Wanda[cis]> (unless it's an intra-module driver conlflict, but that won't help your usecase)
<nates93[m]> Righto. Excited that it's at least on a far roadmap 🙂 Also excited for cxxrtl verilog cosimulation
sugarbeet has quit [Ping timeout: 256 seconds]
sugarbeet has joined #amaranth-lang
zyp[m] has quit [Quit: Idle timeout reached: 172800s]