clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lf has joined #yosys
lf_ has quit [Ping timeout: 260 seconds]
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
jfcaron_ has joined #yosys
jfcaron_ is now known as jfcaron
modwizcode has quit [Quit: Later]
Jay_jayjay has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
Jay_jayjay has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
kbeckmann has joined #yosys
<promach3> @Lofty I have written a github issue here at https://github.com/YosysHQ/yosys/issues/2533
<Lofty> promach3: I'd file it against sby, not Yosys
<promach3> Lofty: sby is only a GUI frontend for yosys
<Lofty> Uh, no?
<promach3> yosys is the code that interfaces with the boolector formal engine
<Lofty> sby does a lot of other things, and it's boolector crashing here
<Lofty> No, it doesn't
<promach3> yes, I know. but without sby, it would most likely crashed as well
<Lofty> sby is the code that interfaces with boolector
<promach3> sby is GUI frontend
<Lofty> No it isn't
<promach3> not GUI
<promach3> but it is yosys frontend for easier user usage
<Lofty> Yes, but it's also doing a lot of things of its own
<Lofty> Yosys does not call boolector
<Lofty> sby calls boolector
<Lofty> Yosys simply outputs the file in smt2 format
<promach3> really, I am not sure
<promach3> I mean sby is the user frontend for yosys-smtbmc
<promach3> Lofty: by the way, could you reproduce the exact broken pipe error ? is it only me that encountered such error ?
<Lofty> Formal verification isn't my thing
Degi_ has joined #yosys
Degi has quit [Ping timeout: 256 seconds]
Degi_ is now known as Degi
richbridger has quit [Read error: Connection reset by peer]
srk has quit [Ping timeout: 240 seconds]
srk has joined #yosys
jfcaron has quit [Quit: jfcaron]
_whitelogger has joined #yosys
emeb_mac has quit [Quit: Leaving.]
peepsalot has quit [Quit: Connection reset by peep]
kraiskil has joined #yosys
peepsalot has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
s_frit has joined #yosys
s_frit_ has quit [Ping timeout: 246 seconds]
elGamal has quit [K-Lined]
srk has quit [Ping timeout: 240 seconds]
srk has joined #yosys
sorki has joined #yosys
srk has quit [Quit: ZNC 1.8.2 - https://znc.in]
kraiskil has joined #yosys
sorki is now known as srk
jeanthom has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
jeanthom has quit [Ping timeout: 272 seconds]
kraiskil has joined #yosys
sorki has joined #yosys
srk has quit [Ping timeout: 240 seconds]
sorki is now known as srk
vidbina_ has joined #yosys
vidbina_ has quit [Ping timeout: 246 seconds]
Jay_jayjay has joined #yosys
emeb has joined #yosys
probablymoony has quit [Quit: Bye!]
moony has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
Jay_jayjay has joined #yosys
Jay_jayjay has quit [Client Quit]
vidbina_ has joined #yosys
modwizcode has joined #yosys
vidbina_ has quit [Ping timeout: 272 seconds]
Jay_jayjay has joined #yosys
vidbina_ has joined #yosys
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
Jay_jayjay has joined #yosys
evil_chuck has joined #yosys
evil_chuck has left #yosys [#yosys]
Jay_jayjay has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
emeb_mac has joined #yosys
richbridger has joined #yosys
emeb_mac has quit [Quit: Leaving.]
Jay_jayjay has joined #yosys
srk has quit [Ping timeout: 240 seconds]
Jay_jayjay has quit [Remote host closed the connection]
srk has joined #yosys
emeb_mac has joined #yosys
srk has quit [Remote host closed the connection]
srk has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
<mangelis> hmm, when i run synthesis with synth -lut 3, yosys seems to sometimes generate luts with a width of 3 but one of the input is just fixed "0" (seen in the .json output)
<mangelis> i wonder what's up with that? shouldn't it just use 2-width lut instead
<mangelis> with -lut 2 option there are also some 2-width luts with fixed "0" as second input
vidbina_ has quit [Ping timeout: 264 seconds]
<mwk> that's... weird
emeb has quit [Quit: Leaving.]
jfcaron has joined #yosys