ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
gsmecher has quit [Ping timeout: 268 seconds]
emeb has quit [Quit: Leaving.]
<mwk> piegames: what do you mean by "manually implementing $past"?
stroboko1p has joined #yosys
strobokopp has quit [Ping timeout: 265 seconds]
jediminer543_ has quit [Read error: Connection reset by peer]
Curve25519ChaCha has quit [Remote host closed the connection]
Curve25519ChaCha has joined #yosys
aquijoule_ has joined #yosys
aquijoule__ has quit [Ping timeout: 258 seconds]
FabM has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
emeb_mac has quit [Quit: Leaving.]
vidbina has joined #yosys
vidbina has quit [Quit: vidbina]
aquijoule_ has quit [Quit: Leaving]
aquijoule_ has joined #yosys
Guest13 has joined #yosys
cr1901 has quit [Ping timeout: 240 seconds]
cr1901 has joined #yosys
<piegames> mwk: Well, it is a simple one clock cycle delay that can easily be realized with a register
<gatecat> b2xiao: yeah, that's right, I think OFX are only meaningful in logic mode
vidbina has joined #yosys
promach[m] has quit [Quit: Bridge terminating on SIGTERM]
promach[m] has joined #yosys
jryans has joined #yosys
emilazy has joined #yosys
CarlosEDP has joined #yosys
whitequark has joined #yosys
kaji has joined #yosys
vidbina has quit [Quit: vidbina]
Guest13 has quit [Ping timeout: 246 seconds]
<mwk> piegames: are you asking if $past is efectively redundant and could be replaced with a behaviorally-implemented FF? yes
<mwk> (in fact, that's what yosys internally does)
<cr1901> The system verilog standard goes out of it's way to make the definition of $past and $sampled so convoluted (at least to me) that it's not obvious (to me anyway) that a FF is a correct implementation of $past
<cr1901> https://github.com/cr1901/yosys-experiments/tree/master/tasks/sampled I wrote notes down about it. Not sure I fully understand them b/c they were written in a hurry. Way to go past me
<cr1901> gatecat: I'll make a PR later, but I have a present for you... another nextpnr GUI crash. I hope you like it :)
kaji has quit [Quit: Reconnecting]
kaji has joined #yosys
<piegames> mwk: That's what I wanted to hear, thank you
lkcl has quit [Ping timeout: 265 seconds]
lkcl has joined #yosys
FabM has quit [Quit: Leaving]
gsmecher has joined #yosys
TFKyle has joined #yosys
emeb has joined #yosys
gsmecher has quit [Ping timeout: 258 seconds]
gsmecher has joined #yosys
aquijoule_ has quit [Quit: Leaving]
aquijoule_ has joined #yosys
aquijoule_ is now known as richbridger
richbridger has quit [Remote host closed the connection]
richbridger has joined #yosys
emeb_mac has joined #yosys
gsmecher has quit [Ping timeout: 250 seconds]
emeb has quit [Quit: Leaving.]