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 · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
lofty has left #amaranth-lang [Leaving]
<_whitenotifier-3> [amaranth] fischermoseley opened issue #1011: Inferring True Dual-Port BRAMs with Vivado - https://github.com/amaranth-lang/amaranth/issues/1011
vipqualitypost[m has quit [Quit: Idle timeout reached: 172800s]
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #amaranth-lang
Degi has quit [Ping timeout: 268 seconds]
Degi has joined #amaranth-lang
notgull has quit [Ping timeout: 276 seconds]
FFY00 has quit [Ping timeout: 252 seconds]
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 252 seconds]
jjsuperpower_ has quit [Ping timeout: 255 seconds]
<_whitenotifier> [amaranth] whitequark commented on issue #1011: Inferring True Dual-Port BRAMs with Vivado - https://github.com/amaranth-lang/amaranth/issues/1011#issuecomment-1874974514
zignig has quit [Ping timeout: 256 seconds]
zignig has joined #amaranth-lang
zignig has quit [Ping timeout: 256 seconds]
zignig has joined #amaranth-lang
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440313512
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440316232
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440313654
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440313989
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440316110
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440313831
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440317754
<_whitenotifier-3> [amaranth] anuejn reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440322858
<_whitenotifier-3> [amaranth] anuejn reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440324188
<anuejn> whitequark[cis]: after a night of sleep and your argumentation I agree, that it is probably best to close #1010
<anuejn> the extract functionality is already there with do_build=False and I dont really know if having docker specific code in amaranth adds a lot of value vs having it downstream
<whitequark[cis]> anuejn: I'm actually happy to have it as a shortcut
<whitequark[cis]> and the extract being separated out is nice
<whitequark[cis]> what I think isn't the best thing to have in Amaranth is all the customization
<anuejn> okay
<anuejn> I would like to keep the docker_args thing then (because otherwise the functionality is of no use to me) but I am fine with dropping all the other stuff
<whitequark[cis]> sgtm. just make sure the doc is correct
<whitequark[cis]> which args does https://github.com/ichi4096/vivado-on-silicon-mac require passing?
<anuejn> for me its --mount type=bind,source=/Users/anuejn/data/vivado-on-silicon-mac-main,target=/home/user --platform linux/amd64
<whitequark[cis]> right, yeah, sounds good to have that
zyp[m] has joined #amaranth-lang
<zyp[m]> how does vivado-on-silicon-mac perform? I'm curious whether I should try that next time I work with a xilinx part, or set up remote build on a linux box with older hardware
<_whitenotifier> [amaranth] anuejn reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440344221
<anuejn> zyp[m]: it was a bit (not very) fiddely to get working but the performance seems to be quite decent
<zyp[m]> ah, that's nice
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440346086
<anuejn> my almost empty test design with just some axi registers (212 lut, ~90FF) takes ~1m40s to to build with vivado 2023.2
<anuejn> on a "m1 pro" with 10 cores
<whitequark[cis]> vivado has a minute or so of loading time alone (natively)
<whitequark[cis]> all of which is done single-core so how many cores you have is irrelevant
<whitequark[cis]> it's not really designed to run as a batch process as a part of an interactive flow
<_whitenotifier-3> [amaranth] anuejn reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440350691
<anuejn> yeah right, thats what it feels like
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440351756
<_whitenotifier-3> [amaranth] whitequark opened pull request #1012: build.plat,vendor: start `build.sh` with `#!/bin/sh` - https://github.com/amaranth-lang/amaranth/pull/1012
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440356686
<_whitenotifier-3> [amaranth] whitequark edited pull request #1012: build.plat,vendor: start `build.sh` with `#!/bin/sh` - https://github.com/amaranth-lang/amaranth/pull/1012
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440359089
<anuejn> nice
<_whitenotifier> [amaranth] codecov[bot] commented on pull request #1012: build.plat,vendor: start `build.sh` with `#!/bin/sh` - https://github.com/amaranth-lang/amaranth/pull/1012#issuecomment-1875243498
<_whitenotifier> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1012-0849e1af0bbecc629b1331ee257c58bf931b241a - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±6] https://github.com/amaranth-lang/amaranth/compare/0849e1af0bbe...5d9ad62f368d
<_whitenotifier> [amaranth-lang/amaranth] whitequark 5d9ad62 - build.plat,vendor: start `build.sh` with `#!/bin/sh`.
<_whitenotifier> [amaranth] whitequark closed pull request #1012: build.plat,vendor: start `build.sh` with `#!/bin/sh` - https://github.com/amaranth-lang/amaranth/pull/1012
<_whitenotifier-3> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1012-0849e1af0bbecc629b1331ee257c58bf931b241a - https://github.com/amaranth-lang/amaranth
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440367237
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 5347a29 - Deploying to main from @ amaranth-lang/amaranth@5d9ad62f368d28122cd0ddc6b7fb459da6d180d8 🚀
<_whitenotifier> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±37] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/4178c4376a17...5347a29638f6
<anuejn> on another note: Is it intentional, that the ValueCastable code is still in tree?
<anuejn> ah nevermind sorry for the noise
<anuejn> I mistook UserValue and ValueCastable
mindw0rk_ has joined #amaranth-lang
mindw0rk has quit [Ping timeout: 260 seconds]
mindw0rk_ is now known as mindw0rk
<_whitenotifier> [amaranth] anuejn reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440392724
<_whitenotifier-3> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440397397
<anuejn> I have another completely unrelated question: what is the current recommended way to have a signal with some metadata attached to it
<whitequark[cis]> metadata for what purpose?
<anuejn> Registers in an SoC (adresses, readable, writable)
<anuejn> I am trying to port old code that used UserValue to the new ValueCastable but want to avoid having to type out all the __ methods from Value and forward it
<whitequark[cis]> none (this is not done by attaching metadata to signals); use amaranth-soc whenever that gets merged
<anuejn> hm... okay
<anuejn> I see that it is not very nice from a design perspective but provided very nice ergonomics for prototyping stuff
<anuejn> and it has different tradeoffs than amaranth-soc
<anuejn> I remember there was a discussion about ila functionality needing something similiar and wanted to ask if that went anywhere yet
<whitequark[cis]> at the time I do not plan on enabling the prototyping use case you're talking about here; I would like that effort to go towards making amaranth-soc more ergonomic rather than being split
<anuejn> okay, thats reasonable :)
<whitequark[cis]> for the ILA, I don't expect there to be dedicated metadata, but rather a way to query the signal hierarchy
<zignig> hey Catherine, was cleaning up my workshop and found my tinybx again, was a bit dusty :)
<zignig> nice work with the 0.4 release I like the component model and the wasm runners save heaps of pain.
<zignig> I'm sorry to say that I stopped my boneless investigations and I have converted to riscv. There are a number of CPU's to choose from written in Amaranth. very cool.
<anuejn> should I be able to index an Array with a ValueCastable directly?
<anuejn> from the docs it seems like it ("An object deriving from :class:`ValueCastable`` is automatically converted to a :class:`Value`
<anuejn> when it is used in a context where a :class:`Value`` is expected")
<anuejn> but that is not the case
<anuejn> is that a bug or am i understanding it wrong?
<whitequark[cis]> I think that's a missing Value.cast()
<anuejn> in amaranth or in my code?
<whitequark[cis]> former
<anuejn> okay :)
<_whitenotifier-3> [amaranth] anuejn opened pull request #1013: hdl.ast: fix Array not being indexable by ValueCastable - https://github.com/amaranth-lang/amaranth/pull/1013
<_whitenotifier> [amaranth] codecov[bot] commented on pull request #1013: hdl.ast: fix Array not being indexable by ValueCastable - https://github.com/amaranth-lang/amaranth/pull/1013#issuecomment-1875356584
<_whitenotifier> [amaranth] whitequark reviewed pull request #1013 commit - https://github.com/amaranth-lang/amaranth/pull/1013#discussion_r1440448450
<_whitenotifier> [amaranth] anuejn reviewed pull request #1013 commit - https://github.com/amaranth-lang/amaranth/pull/1013#discussion_r1440459526
<_whitenotifier> [amaranth] whitequark reviewed pull request #1013 commit - https://github.com/amaranth-lang/amaranth/pull/1013#discussion_r1440462204
<_whitenotifier> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1013-5d9ad62f368d28122cd0ddc6b7fb459da6d180d8 - https://github.com/amaranth-lang/amaranth
<_whitenotifier> [amaranth] whitequark reviewed pull request #1010 commit - https://github.com/amaranth-lang/amaranth/pull/1010#discussion_r1440471999
<_whitenotifier-3> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/5d9ad62f368d...cc9fe8904983
<_whitenotifier> [amaranth-lang/amaranth] anuejn cc9fe89 - hdl.ast: fix Array not being indexable by ValueCastable
<_whitenotifier> [amaranth] whitequark closed pull request #1013: hdl.ast: fix Array not being indexable by ValueCastable - https://github.com/amaranth-lang/amaranth/pull/1013
<_whitenotifier> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1013-5d9ad62f368d28122cd0ddc6b7fb459da6d180d8 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 4897cab - Deploying to main from @ amaranth-lang/amaranth@cc9fe8904983ea1226a2615e8f185fad43bfb719 🚀
<_whitenotifier> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±33] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/5347a29638f6...4897cab86773
<anuejn> zyp[m]: another performance figure: a slightly bigger design (8.3k LUT, 7.5k FF) for a xc7z010 takes 8m30s
notgull has joined #amaranth-lang
FFY00 has joined #amaranth-lang
<_whitenotifier> [amaranth] whitequark commented on pull request #1010: build.run: add BuildPlan.execute_docker() - https://github.com/amaranth-lang/amaranth/pull/1010#issuecomment-1875429592
<_whitenotifier> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1010-cc9fe8904983ea1226a2615e8f185fad43bfb719 - https://github.com/amaranth-lang/amaranth
notgull has quit [Ping timeout: 245 seconds]
<_whitenotifier-3> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1010-cc9fe8904983ea1226a2615e8f185fad43bfb719 - https://github.com/amaranth-lang/amaranth
<_whitenotifier> [amaranth-lang/amaranth] anuejn 3200a39 - build.run: factor out extract method
<_whitenotifier-3> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 3 commits to main [+0/-0/±6] https://github.com/amaranth-lang/amaranth/compare/cc9fe8904983...c00e770f0126
<_whitenotifier> [amaranth-lang/amaranth] anuejn b823a8e - build.run: add BuildPlan.execute_docker()
<_whitenotifier-3> [amaranth-lang/amaranth] anuejn c00e770 - build.run: deprecate run_script argument in BuildPlan.execute_local()
<_whitenotifier> [amaranth] whitequark closed pull request #1010: build.run: add BuildPlan.execute_docker() - https://github.com/amaranth-lang/amaranth/pull/1010
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±37] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/4897cab86773...4d0246d5188b
<_whitenotifier> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 4d0246d - Deploying to main from @ amaranth-lang/amaranth@c00e770f01262d266cd94bbb32a7b891c6a53f65 🚀
<zyp[m]> <anuejn> "zyp: another performance figure:..." <- hmm, I don't have a good idea of how long vivado usually takes
<zyp[m]> my last ecp5 build took 1m30s on a M2 Max, for a design that's 16.9k LUT, 7.9k FF, but AIUI the open tools are usually faster than vivado on comparable designs even when both run natively on linux
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 252 seconds]
jess has quit [Quit: Lost terminal]
jess has joined #amaranth-lang
jjsuperpower has joined #amaranth-lang
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 268 seconds]
notgull has joined #amaranth-lang
miek has quit [Ping timeout: 255 seconds]
miek has joined #amaranth-lang