| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:16 | |
| *** X-Scale has quit IRC | 00:21 | |
| *** m_t has quit IRC | 00:22 | |
| *** promach_ has joined #yosys | 00:37 | |
| promach_ | ZipCPU: you mean even if the trace does not show that it failed, it is still due to bugs in my code ? | 00:41 |
|---|---|---|
| *** X-Scale has joined #yosys | 00:59 | |
| *** seldridge has joined #yosys | 00:59 | |
| *** promach_ has quit IRC | 01:36 | |
| ZipCPU | promach_: How long is your trace? | 02:07 |
| ZipCPU | Nevermind ... it's an induction failure. | 02:08 |
| ZipCPU | I have never seen an example of a design failing induction that didn't show the error in the trace. | 02:09 |
| promach | ZipCPU: let me check through my code again. sigh, multiclock induction needs more debugging than the normal single-clock induction | 02:37 |
| promach | ZipCPU: wish me luck in finding out the bug ! | 02:40 |
| *** altenius has quit IRC | 03:52 | |
| *** seldridge has quit IRC | 04:01 | |
| *** dys has joined #yosys | 04:54 | |
| *** leviathan has joined #yosys | 05:12 | |
| *** kraiskil has joined #yosys | 05:26 | |
| *** dys has quit IRC | 05:27 | |
| *** dys has joined #yosys | 05:30 | |
| *** dys has quit IRC | 06:09 | |
| *** kraiskil has quit IRC | 06:12 | |
| *** kraiskil has joined #yosys | 06:33 | |
| *** gnufan has left #yosys | 06:34 | |
| *** rqou has quit IRC | 06:36 | |
| *** rqou has joined #yosys | 06:37 | |
| *** mwk has quit IRC | 06:49 | |
| *** mwk has joined #yosys | 06:49 | |
| *** proteusguy has quit IRC | 07:10 | |
| *** gnufan has joined #yosys | 07:12 | |
| *** proteusguy has joined #yosys | 07:32 | |
| *** digshadow has quit IRC | 07:42 | |
| *** digshadow has joined #yosys | 07:42 | |
| *** massi has joined #yosys | 07:54 | |
| *** kraiskil has quit IRC | 09:35 | |
| *** kraiskil has joined #yosys | 10:01 | |
| ZipCPU | promach: I think I recall telling you before you started your multiclock induction proof that my own multiclock proof of a serial port was the hardest proof I had done. | 10:01 |
| ZipCPU | Perhaps you need to try proving some simpler things and come back to multiclock later, once you've learned to trust the tools more. | 10:01 |
| promach | ZipCPU: I trust the tool !!! ;) | 10:02 |
| *** fsasm has joined #yosys | 10:11 | |
| *** GuzTech has joined #yosys | 10:33 | |
| *** m_t has joined #yosys | 11:28 | |
| *** fsasm has quit IRC | 11:30 | |
| *** fsasm has joined #yosys | 11:31 | |
| *** leviathan has quit IRC | 11:42 | |
| *** altenius has joined #yosys | 11:45 | |
| *** jwhitmore has joined #yosys | 12:26 | |
| *** jwhitmore has quit IRC | 12:38 | |
| *** kraiskil has quit IRC | 13:14 | |
| *** jwhitmore has joined #yosys | 13:17 | |
| *** quigonjinn has joined #yosys | 13:43 | |
| *** X-Scale has quit IRC | 13:56 | |
| *** promach_ has joined #yosys | 14:00 | |
| *** seldridge has joined #yosys | 14:29 | |
| *** X-Scale has joined #yosys | 14:34 | |
| *** jwhitmore has quit IRC | 14:50 | |
| *** leviathan has joined #yosys | 14:51 | |
| *** GuzTech has quit IRC | 15:18 | |
| *** m_t has quit IRC | 15:33 | |
| *** maartenBE has quit IRC | 15:58 | |
| *** maartenBE has joined #yosys | 16:02 | |
| *** jwhitmore has joined #yosys | 16:03 | |
| *** jwhitmore has quit IRC | 16:08 | |
| *** fsasm has quit IRC | 16:17 | |
| *** dys has joined #yosys | 16:43 | |
| *** seldridge has quit IRC | 17:08 | |
| *** digshadow has quit IRC | 17:15 | |
| *** seldridge has joined #yosys | 17:27 | |
| *** digshadow has joined #yosys | 17:30 | |
| *** digshadow has quit IRC | 17:32 | |
| *** promach_ has quit IRC | 17:53 | |
| *** seldridge has quit IRC | 18:03 | |
| *** jwhitmore has joined #yosys | 18:24 | |
| *** seldridge has joined #yosys | 18:40 | |
| *** digshadow has joined #yosys | 19:06 | |
| *** fsasm has joined #yosys | 19:17 | |
| *** leviathan has quit IRC | 19:37 | |
| *** emeb has joined #yosys | 20:06 | |
| *** jwhitmore has quit IRC | 20:15 | |
| *** emeb has quit IRC | 20:48 | |
| *** emeb has joined #yosys | 20:51 | |
| *** digshadow has quit IRC | 20:55 | |
| *** pie_ has quit IRC | 20:56 | |
| *** digshadow has joined #yosys | 20:57 | |
| *** indy has quit IRC | 20:59 | |
| *** jwhitmore has joined #yosys | 21:01 | |
| *** digshadow has quit IRC | 21:02 | |
| *** indy has joined #yosys | 21:03 | |
| *** m_t has joined #yosys | 21:03 | |
| *** digshadow has joined #yosys | 21:09 | |
| *** alexandarkostovi has quit IRC | 21:10 | |
| *** alexandarkostovi has joined #yosys | 21:11 | |
| *** digshadow has quit IRC | 21:14 | |
| *** digshadow has joined #yosys | 21:15 | |
| *** digshadow has quit IRC | 21:20 | |
| *** pie_ has joined #yosys | 21:24 | |
| *** digshadow has joined #yosys | 21:27 | |
| *** jwhitmore has quit IRC | 21:45 | |
| *** fsasm has quit IRC | 21:57 | |
| *** seldridge has quit IRC | 22:57 | |
| *** emeb has quit IRC | 23:05 | |
| *** emeb has joined #yosys | 23:23 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!