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 quit [Ping timeout: 265 seconds]
Degi has joined #amaranth-lang
frgo has quit [Read error: Connection reset by peer]
frgo has joined #amaranth-lang
DX-MON| has joined #amaranth-lang
nimh has joined #amaranth-lang
root1 has joined #amaranth-lang
zyp[m] has quit [*.net *.split]
Wanda[cis] has quit [*.net *.split]
urja has quit [*.net *.split]
DX-MON has quit [*.net *.split]
miek has quit [*.net *.split]
_whitenotifier has quit [*.net *.split]
Guest1880 has quit [*.net *.split]
nimh_ has quit [*.net *.split]
miek has joined #amaranth-lang
zyp[m] has joined #amaranth-lang
urja has joined #amaranth-lang
Wanda[cis] has joined #amaranth-lang
jorolf[m] has joined #amaranth-lang
<jorolf[m]> How does the Amaranth Simulator handle conditional signal changes that happen on the same clock edge? My testbench doesn't work as expected and I believe it's because of a race condition.
<zyp[m]> conditional? combinational?
<zyp[m]> if you use ctx.tick().sample(), you get the signal state at the clock edge, whereas if you use ctx.get(), you get the current signal state
<zyp[m]> when you're testing synchronous logic, .sample() is generally more useful than .get()
<jorolf[m]> I'm using ctx.tick().until() and treat the dut as a black box
<jorolf[m]> As in, those signals are somewhere in my design but I'm not accessing them directly
<jorolf[m]> I could maybe create a minimal setup to recreate those conditions.
<jorolf[m]> * them directly or even at the same clock edge. (iirc they're in different clock domains)
<jorolf[m]> * them directly or even at the same clock edge. (iirc they're in a different clock domain)
tim[m]1 has quit [Quit: Idle timeout reached: 172800s]
peepsalot has quit [Remote host closed the connection]
peepsalot has joined #amaranth-lang
lf has quit [Ping timeout: 248 seconds]
lf has joined #amaranth-lang
duskwuff[m] has quit [Quit: Idle timeout reached: 172800s]