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
royalbank has quit [Ping timeout: 272 seconds]
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #yosys
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #yosys
cr1901 has quit [Ping timeout: 255 seconds]
cr1901 has joined #yosys
AdamHorden has quit [Ping timeout: 268 seconds]
AdamHorden has joined #yosys
bl0x_ has joined #yosys
bl0x has quit [Ping timeout: 252 seconds]
royalbank has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
FabM has joined #yosys
lexano has quit [Ping timeout: 260 seconds]
lexano has joined #yosys
royalbank has quit [Ping timeout: 260 seconds]
<jix> Sarayan: have you tried using async2sync or clk2fflogic before running cxxrtl? that might be a workaround here
<jix> (async2sync for when there's a single clock domain and processing async signals on the next clock edge is enough, clk2fflogic should work in any case)
<jix> although I have no idea how cxxrtl handles the implicit global clock, but either of those two passes are used to handle async signals for the formal verification flows, for which the backends cannot handle async signals at all
Tokamak has quit [Quit: ZNC 1.8.2+deb2build5 - https://znc.in]
<whitequark> iirc it just doesn't
<whitequark> but try it
FabM has quit [Ping timeout: 265 seconds]
GenTooMan has quit [Quit: Leaving]
GenTooMan has joined #yosys
ec_ has quit [Ping timeout: 255 seconds]
ec_ has joined #yosys
<Sarayan> jix: it's small enough that I can understand it or even write my own sim. Not an issue. But it was small enough to I think make a useful bug report
ec_ has quit [Remote host closed the connection]
ec_ has joined #yosys
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys