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
josuah_dem[m] has quit [*.net *.split]
Xesxen has quit [*.net *.split]
V has quit [*.net *.split]
trabucayre has quit [*.net *.split]
jess has quit [*.net *.split]
galibert[m] has quit [*.net *.split]
Xesxen has joined #amaranth-lang
galibert[m] has joined #amaranth-lang
josuah_dem[m] has joined #amaranth-lang
jess has joined #amaranth-lang
V has joined #amaranth-lang
trabucayre has joined #amaranth-lang
chaoticryptidz has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 252 seconds]
Degi_ is now known as Degi
<cr1901> https://github.com/cr1901/smolarith I wrote some pipelined unsigned and signed multiplier cores in Amaranth. If you have hard muls, this repo is prob not for you.
<cr1901> GH wanted me to call this repo ideal-pancake. And I almost did, except I should prob have a non-shitpost name
<cr1901> Tested on all 65536 possible 8-bit multiplies, and it passes :)
<whitequark[cis]> neat!
<cr1901> yosys got a Booth multiplier pass recently. I've been trying to work my way through understanding that. So I'll prob add that (and a slow divider eventually)
<cr1901> I don't have the correct setup to test this right now, but last I checked, the unsigned multiplier got 70MHz on the slow-as-molasses up5k
<cr1901> 70 million 8x8 multiplies per second for ~300 LUTs... seems like a good deal, if I had a use for that many muls
sauce has quit [Ping timeout: 240 seconds]
sauce has joined #amaranth-lang
Bluefoxicy has quit [Ping timeout: 252 seconds]
Bluefoxicy has joined #amaranth-lang
<_whitenotifier-1> [amaranth-soc] jfng commented on pull request #49: Migrate bus primitives to `amaranth.lib.wiring` - https://github.com/amaranth-lang/amaranth-soc/pull/49#issuecomment-1720728431
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] pushed 3 commits to gh-readonly-queue/main/pr-49-7b52e9351b1f74a8e727d12f3a91469796aaa0ad [+0/-0/±11] https://github.com/amaranth-lang/amaranth-soc/compare/c5e1e6606a94^...141d1d4b260c
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng c5e1e66 - wishbone.bus: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng feec751 - event: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng 141d1d4 - csr.bus: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-soc] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-49-7b52e9351b1f74a8e727d12f3a91469796aaa0ad - https://github.com/amaranth-lang/amaranth-soc
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] pushed 3 commits to main [+0/-0/±11] https://github.com/amaranth-lang/amaranth-soc/compare/7b52e9351b1f...141d1d4b260c
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng c5e1e66 - wishbone.bus: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng feec751 - event: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng 141d1d4 - csr.bus: migrate to lib.wiring interfaces.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-49-7b52e9351b1f74a8e727d12f3a91469796aaa0ad
<_whitenotifier-1> [amaranth-soc] jfng closed pull request #49: Migrate bus primitives to `amaranth.lib.wiring` - https://github.com/amaranth-lang/amaranth-soc/pull/49
<_whitenotifier-1> [amaranth-soc] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-49-7b52e9351b1f74a8e727d12f3a91469796aaa0ad - https://github.com/amaranth-lang/amaranth-soc
<_whitenotifier-1> [amaranth-soc] jfng commented on pull request #49: Migrate bus primitives to `amaranth.lib.wiring` - https://github.com/amaranth-lang/amaranth-soc/pull/49#issuecomment-1720730644
<_whitenotifier-1> [amaranth-soc] jfng opened pull request #53: pyproject: fix Amaranth git dependency. - https://github.com/amaranth-lang/amaranth-soc/pull/53
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] pushed 1 commit to gh-readonly-queue/main/pr-53-141d1d4b260cfb720bb1467e6db1abc14100bebc [+0/-0/±1] https://github.com/amaranth-lang/amaranth-soc/commit/cce8a79a3749
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng cce8a79 - pyproject: fix Amaranth git dependency.
<_whitenotifier-1> [amaranth-soc] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-53-141d1d4b260cfb720bb1467e6db1abc14100bebc - https://github.com/amaranth-lang/amaranth-soc
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth-soc/compare/141d1d4b260c...cce8a79a3749
<_whitenotifier-1> [amaranth-lang/amaranth-soc] jfng cce8a79 - pyproject: fix Amaranth git dependency.
<_whitenotifier-1> [amaranth-lang/amaranth-soc] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-53-141d1d4b260cfb720bb1467e6db1abc14100bebc
<_whitenotifier-1> [amaranth-soc] jfng closed pull request #53: pyproject: fix Amaranth git dependency. - https://github.com/amaranth-lang/amaranth-soc/pull/53
<_whitenotifier-1> [amaranth-soc] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-53-141d1d4b260cfb720bb1467e6db1abc14100bebc - https://github.com/amaranth-lang/amaranth-soc
leptonix has quit [Server closed connection]
leptonix has joined #amaranth-lang
povik has quit [Server closed connection]
povik has joined #amaranth-lang
anuejn has quit [Ping timeout: 246 seconds]
vup has quit [Ping timeout: 258 seconds]
vup has joined #amaranth-lang
anuejn has joined #amaranth-lang
chaoticryptidz has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
chaoticryptidz has joined #amaranth-lang
pie_ has quit []
pie_ has joined #amaranth-lang
dyniec_ has quit [Quit: WeeChat 4.0.2]
dyniec has joined #amaranth-lang
GenTooMan has quit [Ping timeout: 246 seconds]
Psentee has quit [Server closed connection]
Psentee has joined #amaranth-lang
GenTooMan has joined #amaranth-lang
GenTooMan has quit [Ping timeout: 240 seconds]
jfng[m] has joined #amaranth-lang
<jfng[m]> i won't be able to conduct a SoC meeting today, sorry !
<galibert[m]> Oh well, it was not a good week for meetings
<jfng[m]> yeah..
<galibert[m]> Bah, it happens
<jfng[m]> @galibert: btw, feel free to try the new bus interfaces in amaranth-soc, they're in main now
<cr1901> jfng[m]: I won't be here for the next meeting more than likely (9/22).
<galibert[m]> Oh excellent
<cr1901> Yeeeeeeees!! Re: bus interfaces
<galibert[m]> Been busy emulating the mu50 lately, just got the wave roms and it's really fun :-)
<cr1901> I am also unlikely to be here for 9/25 due to prior commitment
GenTooMan has joined #amaranth-lang
<galibert[m]> cr1901: Enjoy the long week-end then :-)
<cr1901> Will certainly try to lol
<galibert[m]> Need to look how you managed to avoid race conditions in the priority arbiter too
<galibert[m]> I have the complete setup in my mind except what happens when a higher priority intiator calls while a lower one is currently doing an access
<cr1901> Let the lower one finish, or include logic to let the lower one bail. I actually have a use case for the second one in efbutils
<galibert[m]> cr1901: my issue is pretty much "how to let the lower one finish without adding a ton of state"
<cr1901> *that's the neat part you don't meme*
<galibert[m]> ?
<cr1901> Bad attempt at a joke, nevermind
<jfng[m]> galibert[m]: the arbiter only switches to the next initiator at the end of a transaction
<galibert[m]> finding who's next is very comb, need to think on what to enable the decision
<jfng[m]> you use a priority encoder, and you sort the inputs lines by their priority ?
<galibert[m]> I would say that, without the encoder part
GenTooMan has quit [Ping timeout: 245 seconds]
GenTooMan has joined #amaranth-lang
chaoticryptidz has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
_catircservices has quit [Quit: Bridge terminating on SIGTERM]
whitequark[cis] has quit [Quit: Bridge terminating on SIGTERM]
jfng[m] has quit [Quit: Bridge terminating on SIGTERM]
galibert[m] has quit [Quit: Bridge terminating on SIGTERM]
josuah_dem[m] has quit [Quit: Bridge terminating on SIGTERM]
_catircservices has joined #amaranth-lang
<tpw_rules> so the analogue pocket is supposed to be some sort of official amaranth demo platform?
whitequark[cis] has joined #amaranth-lang
<whitequark[cis]> nope
<whitequark[cis]> it's not even going to be supported in amaranth-boards probably
<tpw_rules> just a neat thing for you personally then?
<whitequark[cis]> I don't have one
<tpw_rules> i had thought i heard something about tutorials centering on it
<whitequark[cis]> and will probably not have
<tpw_rules> i know a few amaranth enjoyers (myself included) have them and are interested but i thought there was something more official and i see you've been nosing around in their channels :)
<tpw_rules> if not that's cool, just curious
<whitequark[cis]> there is a separate thing called "amaranth tutorial device" which has the same rough outline
<whitequark[cis]> but costs like $40 at most
<whitequark[cis]> analogue pocket is full of annoying verilog that i hate the idea of rewriting
<whitequark[cis]> well, their base files
<tpw_rules> okay. so you are planning to at least offer designs for a pocket-like device (in very vague terms)
<tpw_rules> hardware designs
<tpw_rules> i had done a little bit of it for litex but did not get super far. maybe once amaranth-soc comes up i'll try more
<tpw_rules> but okay, good to clear that up. the idea of a tutorial device sounds very cool, not sure how far along that is or if it needs contribution
<whitequark[cis]> it's been something i've not worked on very publicly mostly because i didn't feel a need to publicize it before it's ready
<whitequark[cis]> it's mostly ready
sugarbeet has quit [Ping timeout: 246 seconds]
sugarbeet has joined #amaranth-lang
jjsuperpower has joined #amaranth-lang