*** tpb has joined #yosys | 00:00 | |
*** dys has quit IRC | 00:01 | |
*** emeb has quit IRC | 00:20 | |
*** _whitelogger has quit IRC | 02:36 | |
*** _whitelogger has joined #yosys | 02:38 | |
*** PyroPeter has quit IRC | 03:13 | |
*** PyroPeter has joined #yosys | 03:27 | |
*** citypw has joined #yosys | 03:32 | |
*** Cerpin has quit IRC | 04:42 | |
*** dys has joined #yosys | 05:11 | |
*** Jybz has joined #yosys | 05:59 | |
*** jakobwenzel has quit IRC | 06:19 | |
*** jakobwenzel has joined #yosys | 06:19 | |
*** citypw has quit IRC | 06:20 | |
*** dramforever has joined #yosys | 06:38 | |
*** emeb_mac has quit IRC | 06:58 | |
*** dramforever has quit IRC | 07:03 | |
*** dramforever has joined #yosys | 07:04 | |
*** pie_ has quit IRC | 07:22 | |
*** jakobwenzel has quit IRC | 07:29 | |
*** FL4SHK has quit IRC | 07:39 | |
*** FL4SHK has joined #yosys | 07:52 | |
*** gmc has quit IRC | 07:54 | |
*** jakobwenzel has joined #yosys | 08:05 | |
*** dys has quit IRC | 08:14 | |
*** jakobwenzel has quit IRC | 08:17 | |
*** X-Scale has quit IRC | 08:21 | |
*** jakobwenzel has joined #yosys | 08:23 | |
*** promach has joined #yosys | 08:42 | |
promach | Does yosys-smtbmc support $onehot system keyword ? | 08:43 |
---|---|---|
daveshah | As far as I know, only with Verific | 08:48 |
*** gmc has joined #yosys | 09:12 | |
promach | daveshah : do you know of a poor-man $onehot equivalent code snippet ? | 09:23 |
*** _whitelogger has quit IRC | 09:36 | |
*** _whitelogger has joined #yosys | 09:38 | |
*** jryans has joined #yosys | 09:41 | |
*** gmc has quit IRC | 09:48 | |
*** gmc has joined #yosys | 09:51 | |
*** Jybz has quit IRC | 10:28 | |
*** maikmerten has joined #yosys | 10:44 | |
*** pie_ has joined #yosys | 11:06 | |
*** dramforever has quit IRC | 12:10 | |
*** dramforever has joined #yosys | 12:10 | |
*** lutsabound has joined #yosys | 12:14 | |
*** Jybz has joined #yosys | 12:38 | |
*** X-Scale has joined #yosys | 13:08 | |
*** emeb has joined #yosys | 13:32 | |
*** rohitksingh has joined #yosys | 13:39 | |
*** rohitksingh has quit IRC | 13:58 | |
*** s_frit has quit IRC | 14:06 | |
*** s_frit has joined #yosys | 14:06 | |
*** maikmerten has quit IRC | 14:43 | |
*** dramforever has quit IRC | 15:16 | |
*** citypw has joined #yosys | 16:29 | |
*** citypw has quit IRC | 17:07 | |
*** dys has joined #yosys | 17:14 | |
pepijndevos | https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing Why is Z3 required while Yices is the default solver? | 17:18 |
tpb | Title: Getting Started SymbiYosys 0.1 documentation (at symbiyosys.readthedocs.io) | 17:18 |
*** emeb has quit IRC | 17:28 | |
*** adjtm has joined #yosys | 17:36 | |
*** Cerpin has joined #yosys | 17:52 | |
*** elGamal has quit IRC | 19:39 | |
*** dys has quit IRC | 20:19 | |
*** adamgreig is now known as Randomskk | 20:52 | |
*** Randomskk is now known as adamgreig | 20:58 | |
*** elGamal has joined #yosys | 21:03 | |
*** emeb_mac has joined #yosys | 21:09 | |
*** Jybz has quit IRC | 21:15 | |
*** Thorn has quit IRC | 23:16 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!