| *** tpb has joined #yosys | 00:00 | |
| ZipCPU | Glad to hear it. My own design still isn't working. :D | 00:11 |
|---|---|---|
| ZipCPU | Well ... to be more specific, it passes as many rounds of BMC as I can afford, but not (yet) induction. So ... it might work, I just can't tell. | 00:13 |
| ZipCPU | For anyone interested, https://github.com/ZipCPU/wb2axip/blob/master/rtl/axidouble.v | 00:13 |
| tpb | Title: wb2axip/axidouble.v at master · ZipCPU/wb2axip · GitHub (at github.com) | 00:13 |
| *** rombik_su has quit IRC | 00:25 | |
| *** _whitelogger has quit IRC | 00:46 | |
| *** _whitelogger has joined #yosys | 00:48 | |
| *** emeb has quit IRC | 01:03 | |
| *** X-Scale has quit IRC | 02:51 | |
| *** X-Scale has joined #yosys | 02:54 | |
| *** citypw has joined #yosys | 03:11 | |
| *** mmicko has quit IRC | 03:44 | |
| *** mmicko has joined #yosys | 03:45 | |
| *** mmicko has joined #yosys | 03:46 | |
| *** _whitelogger has quit IRC | 04:58 | |
| *** _whitelogger has joined #yosys | 05:00 | |
| *** _whitelogger has quit IRC | 05:04 | |
| *** _whitelogger has joined #yosys | 05:06 | |
| *** emeb_mac has quit IRC | 06:33 | |
| *** tmiw has quit IRC | 07:01 | |
| *** Jybz has joined #yosys | 07:56 | |
| *** cr1901_modern has joined #yosys | 08:53 | |
| *** cr1901_modern has left #yosys | 08:53 | |
| *** tmiw_ has joined #yosys | 08:54 | |
| *** tmiw_ is now known as tmiw | 08:55 | |
| *** cr1901_modern has joined #yosys | 09:14 | |
| *** cr1901_modern has quit IRC | 09:30 | |
| *** cr1901_modern has joined #yosys | 09:31 | |
| *** vidbina has joined #yosys | 12:06 | |
| *** _whitelogger has quit IRC | 13:31 | |
| *** vidbina has quit IRC | 13:32 | |
| *** _whitelogger has joined #yosys | 13:33 | |
| *** gruetzkopf has quit IRC | 13:41 | |
| *** gruetzkopf has joined #yosys | 13:42 | |
| *** citypw has quit IRC | 14:33 | |
| *** _whitelogger has quit IRC | 14:49 | |
| *** _whitelogger has joined #yosys | 14:51 | |
| *** lutsabound has joined #yosys | 14:54 | |
| *** fsasm has joined #yosys | 16:48 | |
| *** Jybz has quit IRC | 18:05 | |
| *** Jybz has joined #yosys | 18:07 | |
| *** Jybz has quit IRC | 18:07 | |
| *** Jybz has joined #yosys | 18:11 | |
| *** emeb_mac has joined #yosys | 18:12 | |
| *** arnd has left #yosys | 20:19 | |
| *** zkms has quit IRC | 21:06 | |
| *** zkms has joined #yosys | 21:07 | |
| *** Jybz has quit IRC | 22:06 | |
| *** fsasm has quit IRC | 22:13 | |
| *** vidbina has joined #yosys | 22:46 | |
| *** vidbina has quit IRC | 23:59 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!