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.catirclogs.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
_whitelogger has joined #amaranth-lang
<_whitenotifier-4> [yosys] whitequark created branch develop-0.55 - https://github.com/YoWASP/yosys
frgo has quit [Read error: Connection reset by peer]
frgo_ has joined #amaranth-lang
<_whitenotifier-4> [yosys] whitequark created branch release-0.55 - https://github.com/YoWASP/yosys
mwk has quit [Ping timeout: 244 seconds]
jn has quit [Ping timeout: 252 seconds]
jn has joined #amaranth-lang
jn has joined #amaranth-lang
conventia[m] has joined #amaranth-lang
<conventia[m]> Is it possible to tell which adder implementation is used to implement the + operation on some signals?
<conventia[m]> *
mwk has joined #amaranth-lang
<whitequark[cis]> can you elaborate on what you mean by "which adder implementation"?
<conventia[m]> ripple-carry, brent-kung, kogge-stone, etc? Or for counters, perhaps using a counter implementation with JK flip-flips
<whitequark[cis]> this is entirely dependent on the synthesizer you are using and its choices; there is no standard way to convey this information in a netlist so there isn't anything amaranth can do
<whitequark[cis]> no synthesizer i know of will use ripple carry for an adder like this, due to the timing issues
<whitequark[cis]> same for JK flops
<conventia[m]> I guess if you want a specific adder, you can just specify it manually. 😛 Thanks.
<whitequark[cis]> yes
<conventia[m]> This counter doesn't seem to have timing issues? Or were you thinking of a different implementation?
<whitequark[cis]> FPGAs don't have JK flops so i never think of things in terms of JK flops
<whitequark[cis]> wait
<conventia[m]> Ah, they just have D flip flops.
<whitequark[cis]> sorry, I misunderstood what you wrote for a bit
<whitequark[cis]> the specific thing that has timing issues is dividing a clock by a power of 2 by connecting D_x=Qn_x and CLK_x+1=Q_x
<whitequark[cis]> which is also a ripple carry counter, but the "ripple carry" part isn't the problem there, it's how you synchronize things; timing analyzers often have trouble with the clocks connected this way
<conventia[m]> Thanks again.
Degi has quit [Ping timeout: 252 seconds]
Degi has joined #amaranth-lang
<whitequark[cis]> in the JK chain you have, i think if you replace JK flops with D flops and add a XOR it still works the saem
<whitequark[cis]> s/saem/same/
<conventia[m]> https://tinyurl.com/ymup3opf Works like a charm. Thanks.
frgo_ has quit [Read error: Connection reset by peer]
frgo has joined #amaranth-lang
BentoMon has quit [Ping timeout: 260 seconds]
BentoMon has joined #amaranth-lang
benny2366[m] has joined #amaranth-lang
<benny2366[m]> just got pointed to this project , I have one question . Do I need to install the board definitions separately or do they become pre installed?
<benny2366[m]> because this
<benny2366[m]> points to this \
<benny2366[m]> which is as helpful as a doggybag with holles in it
<benny2366[m]> s/doggybag/poopbag/, s/holles/holes/
<benny2366[m]> * points to this
vegard_e[m] has joined #amaranth-lang
<vegard_e[m]> yes, amaranth-boards is a separate package you have to install if you need it
<vegard_e[m]> it doesn't have any releases yet, so you'll probably want to install it directly from git, e.g. `pip install git+https://github.com/amaranth-lang/amaranth-boards.git`
<benny2366[m]> that was my next question and you beat me to it 😛
FFY00 has quit [Read error: Connection reset by peer]
FFY00 has joined #amaranth-lang
<_whitenotifier-4> [amaranth-soc] ld-cd commented on issue #103: AXI Interface Signature - https://github.com/amaranth-lang/amaranth-soc/issues/103#issuecomment-3050169905
Guest6756 has joined #amaranth-lang
Guest6756 has quit [Remote host closed the connection]
Darius_ has joined #amaranth-lang
Darius has quit [Ping timeout: 260 seconds]
Darius_ is now known as Darius