whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
sauce has quit [Ping timeout: 246 seconds]
bjonnh has quit [Changing host]
bjonnh has joined #yosys
chaoticryptidz has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
lumo_e has quit [Quit: Quit]
chaoticryptidz has joined #yosys
chaoticryptidz has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
chaoticryptidz has joined #yosys
chaoticryptidz has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
chaoticryptidz has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
skipwich has quit [Ping timeout: 264 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
lexano has quit [Ping timeout: 260 seconds]
skipwich has quit [Ping timeout: 258 seconds]
skipwich has joined #yosys
lexano has joined #yosys
skipwich has quit [Ping timeout: 260 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 260 seconds]
skipwich has joined #yosys
bjonnh has quit [Ping timeout: 255 seconds]
bjonnh has joined #yosys
skipwich has quit [Ping timeout: 240 seconds]
skipwich has joined #yosys
FL4SHK has joined #yosys
nak has quit [Ping timeout: 255 seconds]
nak has joined #yosys
GenTooMan has quit [Ping timeout: 240 seconds]
FabM has quit [Ping timeout: 258 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Ping timeout: 258 seconds]
nak has quit [Ping timeout: 252 seconds]
nak has joined #yosys
GenTooMan has joined #yosys
GenTooMan has quit [Excess Flood]
GenTooMan has joined #yosys
GenTooMan has quit [Excess Flood]
nak has quit [Ping timeout: 248 seconds]
GenTooMan has joined #yosys
nak has joined #yosys
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #yosys
strobo has quit [Ping timeout: 240 seconds]
strobo has joined #yosys
Guest85 has joined #yosys
Guest85 has quit [Client Quit]
trabucayre has quit [Ping timeout: 264 seconds]
trabucayre has joined #yosys
ec has quit [Remote host closed the connection]
ec has joined #yosys
<cr1901> jix: What is the difference between sat -seq and sat -tempinduct? https://github.com/YosysHQ/eqy/commit/9a14e494ff2223b4754a44a5c3dcdeca7d2b57a0 1/2
<cr1901> I have used the tempinduct option to sat before (w/ limited success): https://github.com/YosysHQ/nextpnr/blob/master/machxo2/examples/mitertest.sh#L51
<cr1901> Is "seq" equivalent to the "bounded model check" mode of "yosys-smtbmc"?
strobo has quit [Ping timeout: 258 seconds]
strobo has joined #yosys
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #yosys