| *** tpb has joined #yosys | 00:00 | |
| *** lf has joined #yosys | 00:14 | |
| *** lf_ has quit IRC | 00:14 | |
| *** Jay_jayjay has quit IRC | 00:21 | |
| *** jfcaron_ has joined #yosys | 00:30 | |
| *** jfcaron_ is now known as jfcaron | 00:34 | |
| *** modwizcode has quit IRC | 00:39 | |
| *** Jay_jayjay has joined #yosys | 01:11 | |
| *** Jay_jayjay has quit IRC | 01:22 | |
| *** Jay_jayjay has joined #yosys | 01:24 | |
| *** Jay_jayjay has quit IRC | 02:56 | |
| *** kbeckmann has joined #yosys | 03:12 | |
| promach3 | @Lofty I have written a github issue here at https://github.com/YosysHQ/yosys/issues/2533 | 03:20 |
|---|---|---|
| Lofty | promach3: I'd file it against sby, not Yosys | 03:22 |
| promach3 | Lofty: sby is only a GUI frontend for yosys | 03:25 |
| Lofty | Uh, no? | 03:25 |
| promach3 | yosys is the code that interfaces with the boolector formal engine | 03:26 |
| Lofty | sby does a lot of other things, and it's boolector crashing here | 03:26 |
| Lofty | No, it doesn't | 03:26 |
| promach3 | yes, I know. but without sby, it would most likely crashed as well | 03:26 |
| Lofty | sby is the code that interfaces with boolector | 03:26 |
| promach3 | sby is GUI frontend | 03:26 |
| Lofty | No it isn't | 03:26 |
| promach3 | not GUI | 03:27 |
| promach3 | but it is yosys frontend for easier user usage | 03:27 |
| Lofty | Yes, but it's also doing a lot of things of its own | 03:27 |
| Lofty | Yosys does not call boolector | 03:27 |
| Lofty | sby calls boolector | 03:28 |
| Lofty | Yosys simply outputs the file in smt2 format | 03:28 |
| promach3 | really, I am not sure | 03:28 |
| promach3 | I mean sby is the user frontend for yosys-smtbmc | 03:28 |
| promach3 | Lofty: by the way, could you reproduce the exact broken pipe error ? is it only me that encountered such error ? | 03:31 |
| Lofty | Formal verification isn't my thing | 03:31 |
| *** Degi_ has joined #yosys | 04:22 | |
| *** Degi has quit IRC | 04:23 | |
| *** Degi_ is now known as Degi | 04:23 | |
| *** richbridger has quit IRC | 04:42 | |
| *** srk has quit IRC | 04:47 | |
| *** srk has joined #yosys | 04:49 | |
| *** jfcaron has quit IRC | 05:58 | |
| *** _whitelogger has quit IRC | 06:39 | |
| *** _whitelogger has joined #yosys | 06:41 | |
| *** emeb_mac has quit IRC | 06:44 | |
| *** peepsalot has quit IRC | 06:49 | |
| *** kraiskil has joined #yosys | 06:51 | |
| *** peepsalot has joined #yosys | 06:57 | |
| *** kraiskil has quit IRC | 06:58 | |
| *** s_frit has joined #yosys | 07:15 | |
| *** s_frit_ has quit IRC | 07:16 | |
| *** elGamal has quit IRC | 07:40 | |
| *** srk has quit IRC | 08:02 | |
| *** srk has joined #yosys | 08:03 | |
| *** sorki has joined #yosys | 08:15 | |
| *** srk has quit IRC | 08:16 | |
| *** kraiskil has joined #yosys | 08:18 | |
| *** sorki is now known as srk | 08:18 | |
| *** jeanthom has joined #yosys | 11:34 | |
| *** kraiskil has quit IRC | 11:47 | |
| *** jeanthom has quit IRC | 12:47 | |
| *** kraiskil has joined #yosys | 13:13 | |
| *** sorki has joined #yosys | 13:45 | |
| *** srk has quit IRC | 13:48 | |
| *** sorki is now known as srk | 13:48 | |
| *** vidbina_ has joined #yosys | 14:29 | |
| *** vidbina_ has quit IRC | 14:40 | |
| *** Jay_jayjay has joined #yosys | 15:02 | |
| *** emeb has joined #yosys | 15:07 | |
| *** probablymoony has quit IRC | 15:24 | |
| *** moony has joined #yosys | 15:26 | |
| *** Jay_jayjay has quit IRC | 15:38 | |
| *** Jay_jayjay has joined #yosys | 15:45 | |
| *** Jay_jayjay has quit IRC | 15:49 | |
| *** vidbina_ has joined #yosys | 16:07 | |
| *** modwizcode has joined #yosys | 16:13 | |
| *** vidbina_ has quit IRC | 16:31 | |
| *** Jay_jayjay has joined #yosys | 16:35 | |
| *** vidbina_ has joined #yosys | 17:31 | |
| *** Jay_jayjay has quit IRC | 17:52 | |
| *** Jay_jayjay has joined #yosys | 18:05 | |
| *** evil_chuck has joined #yosys | 18:16 | |
| *** evil_chuck has left #yosys | 18:16 | |
| *** Jay_jayjay has quit IRC | 18:17 | |
| *** emeb_mac has joined #yosys | 18:33 | |
| *** richbridger has joined #yosys | 18:42 | |
| *** emeb_mac has quit IRC | 18:42 | |
| *** Jay_jayjay has joined #yosys | 19:27 | |
| *** srk has quit IRC | 19:53 | |
| *** Jay_jayjay has quit IRC | 20:14 | |
| *** srk has joined #yosys | 20:31 | |
| *** emeb_mac has joined #yosys | 20:51 | |
| *** srk has quit IRC | 21:04 | |
| *** srk has joined #yosys | 21:05 | |
| *** kraiskil has quit IRC | 21:32 | |
| 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) | 22:07 |
| mangelis | i wonder what's up with that? shouldn't it just use 2-width lut instead | 22:07 |
| mangelis | with -lut 2 option there are also some 2-width luts with fixed "0" as second input | 22:09 |
| *** vidbina_ has quit IRC | 22:28 | |
| mwk | that's... weird | 22:48 |
| *** emeb has quit IRC | 23:19 | |
| *** jfcaron has joined #yosys | 23:38 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!