| *** tpb has joined #yosys | 00:00 | |
| *** lf_ has joined #yosys | 00:51 | |
| *** lf has quit IRC | 00:51 | |
| *** Guest66867 has quit IRC | 01:38 | |
| *** s_frit has joined #yosys | 01:38 | |
| *** citypw has joined #yosys | 02:48 | |
| *** Degi_ has joined #yosys | 02:56 | |
| *** Degi has quit IRC | 02:58 | |
| *** Degi_ is now known as Degi | 02:58 | |
| *** _whitelogger has quit IRC | 03:06 | |
| *** _whitelogger has joined #yosys | 03:11 | |
| *** citypw has quit IRC | 03:11 | |
| *** citypw has joined #yosys | 03:11 | |
| *** craigo has joined #yosys | 05:06 | |
| *** kraiskil has joined #yosys | 05:56 | |
| *** cr1901_modern has quit IRC | 06:02 | |
| keesj | I was reading about cxxrtl here https://tomverbeure.github.io/2020/08/08/CXXRTL-the-New-Yosys-Simulation-Backend.html and hoping it would allow me to add asserts in my test code. Is this not the case? | 06:36 |
|---|---|---|
| tpb | Title: CXXRTL, a Yosys Simulation Backend | Electronics etc… (at tomverbeure.github.io) | 06:36 |
| keesj | A.. I think I am better asking how to work with asserts in yosys/formal | 06:38 |
| *** cr1901_modern has joined #yosys | 06:42 | |
| *** danvet has joined #yosys | 06:51 | |
| *** kraiskil has quit IRC | 06:53 | |
| *** emeb_mac has quit IRC | 07:00 | |
| *** acomodi has joined #yosys | 07:27 | |
| *** citypw has quit IRC | 08:26 | |
| *** vidbina has joined #yosys | 09:24 | |
| *** acomodi has quit IRC | 09:37 | |
| *** citypw has joined #yosys | 10:21 | |
| *** vidbina has quit IRC | 10:28 | |
| *** lambda has quit IRC | 10:44 | |
| *** lambda has joined #yosys | 11:00 | |
| *** jakobwenzel has joined #yosys | 12:55 | |
| *** vidbina has joined #yosys | 13:41 | |
| *** FFY00_ has quit IRC | 13:54 | |
| *** vidbina has quit IRC | 14:24 | |
| *** FFY00_ has joined #yosys | 14:39 | |
| *** jakobwenzel has quit IRC | 14:43 | |
| *** s_frit has quit IRC | 14:47 | |
| *** s_frit has joined #yosys | 14:47 | |
| *** jakobwenzel has joined #yosys | 15:11 | |
| *** vidbina has joined #yosys | 15:37 | |
| *** citypw has quit IRC | 15:58 | |
| *** jakobwenzel has quit IRC | 17:20 | |
| *** kraiskil has joined #yosys | 18:27 | |
| *** kraiskil has quit IRC | 18:40 | |
| *** kraiskil has joined #yosys | 18:53 | |
| *** vidbina has quit IRC | 18:57 | |
| *** kraiskil has quit IRC | 19:17 | |
| *** jakobwenzel has joined #yosys | 19:34 | |
| *** vidbina has joined #yosys | 19:39 | |
| *** FFY00_ has quit IRC | 19:47 | |
| *** FFY00_ has joined #yosys | 19:49 | |
| *** kraiskil has joined #yosys | 19:53 | |
| *** kraiskil has quit IRC | 20:05 | |
| *** emeb_mac has joined #yosys | 20:09 | |
| *** vidbina has quit IRC | 20:18 | |
| *** kraiskil has joined #yosys | 20:27 | |
| *** kraiskil has quit IRC | 20:47 | |
| *** danvet has quit IRC | 20:54 | |
| *** kraiskil has joined #yosys | 20:59 | |
| *** craigo has quit IRC | 21:11 | |
| *** atk is now known as tak | 21:14 | |
| *** jakobwenzel has quit IRC | 21:38 | |
| *** vidbina has joined #yosys | 21:43 | |
| *** vidbina has quit IRC | 22:26 | |
| *** kraiskil has quit IRC | 22:26 | |
| *** roamingr1 has quit IRC | 22:40 | |
| *** roamingr1 has joined #yosys | 22:41 | |
| *** roamingr1 has quit IRC | 22:49 | |
| *** roamingr1 has joined #yosys | 22:51 | |
| *** s_frit has quit IRC | 23:35 | |
| *** s_frit has joined #yosys | 23:36 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!