| *** tpb has joined #yosys | 00:00 | |
| *** emeb has left #yosys | 01:57 | |
| *** develonepi3 has quit IRC | 02:47 | |
| *** awordnot26 has joined #yosys | 03:20 | |
| *** citypw has joined #yosys | 03:42 | |
| *** awordnot26 is now known as awordnot | 03:43 | |
| ZipCPU | AARGGGHGH ... I HATE AXI! | 03:44 |
|---|---|---|
| ZipCPU | Whoever wrote the specification for it, didn't want to be kind to any individual working with formal methods | 03:49 |
| ZipCPU | How hard can it be to just verify a single (full) AXI4 slave? | 03:51 |
| *** rohitksingh_work has joined #yosys | 04:20 | |
| *** pie___ has joined #yosys | 04:45 | |
| *** pie__ has quit IRC | 04:49 | |
| *** rohitksingh_work has quit IRC | 05:02 | |
| *** rohitksingh_work has joined #yosys | 05:10 | |
| *** dys has joined #yosys | 05:40 | |
| *** Rednaxela has joined #yosys | 07:14 | |
| *** dys has quit IRC | 07:19 | |
| *** m4ssi has joined #yosys | 07:59 | |
| *** kraiskil has joined #yosys | 08:58 | |
| *** citypw has quit IRC | 09:45 | |
| *** kraiskil has quit IRC | 09:57 | |
| *** kraiskil has joined #yosys | 10:10 | |
| *** kraiskil has quit IRC | 10:16 | |
| *** kraiskil has joined #yosys | 10:29 | |
| *** leviathanch has joined #yosys | 10:35 | |
| *** kraiskil has quit IRC | 12:31 | |
| *** kraiskil has joined #yosys | 12:44 | |
| *** kraiskil has quit IRC | 12:54 | |
| *** rohitksingh_work has quit IRC | 12:57 | |
| *** kraiskil has joined #yosys | 13:07 | |
| *** folkert has joined #yosys | 13:19 | |
| *** rohitksingh has joined #yosys | 13:49 | |
| *** emeb has joined #yosys | 14:52 | |
| *** m4ssi has quit IRC | 15:15 | |
| *** _whitelogger has quit IRC | 15:45 | |
| *** citypw has joined #yosys | 15:47 | |
| *** _whitelogger has joined #yosys | 15:48 | |
| *** leviathanch has quit IRC | 15:59 | |
| *** powerbit has quit IRC | 16:41 | |
| *** folkert has quit IRC | 16:44 | |
| *** rohitksingh has quit IRC | 16:47 | |
| *** rohitksingh has joined #yosys | 17:02 | |
| *** citypw has quit IRC | 17:12 | |
| *** X-Scale has quit IRC | 17:32 | |
| *** dys has joined #yosys | 17:56 | |
| *** kraiskil has quit IRC | 17:56 | |
| *** folkert has joined #yosys | 18:05 | |
| *** ZipCPU has quit IRC | 18:12 | |
| *** ZipCPU has joined #yosys | 18:21 | |
| *** emeb has quit IRC | 18:35 | |
| *** develonepi3 has joined #yosys | 20:30 | |
| *** X-Scale has joined #yosys | 21:01 | |
| *** xdeller has joined #yosys | 21:09 | |
| *** tmeissner has joined #yosys | 21:09 | |
| *** tmeissner has quit IRC | 22:36 | |
| *** folkert has quit IRC | 22:50 | |
| *** dys has quit IRC | 23:13 | |
| *** rohitksingh has quit IRC | 23:26 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!