| *** tpb has joined #yosys | 00:00 | |
| *** leptonix has quit IRC | 00:59 | |
| *** leptonix has joined #yosys | 00:59 | |
| *** leptonix has quit IRC | 02:07 | |
| bpye | ZipCPU: Thank you! That totally explains it | 02:08 |
|---|---|---|
| bpye | Well, totally enough, I couldn't work out where the illegal state was coming from myself | 02:08 |
| emeb_mac | ok, that makes sense. I was kind of bothered by having the assertion inside the if(i_clk_en) but I couldn't really say why. | 02:13 |
| *** leptonix has joined #yosys | 02:17 | |
| ZipCPU | bpye: I like to use the following rule: if the induction trace doesn't look right from time step 0 to N-1, then you are missing an assertion. Otherwise you have a logic bug | 02:34 |
| ZipCPU | (You could also have an assertion bug at that last time step too ...) | 02:35 |
| *** leviathanch has joined #yosys | 02:36 | |
| *** futarisIRCcloud has joined #yosys | 03:18 | |
| *** PyroPeter has quit IRC | 03:30 | |
| *** PyroPeter has joined #yosys | 03:43 | |
| *** _whitelogger has quit IRC | 03:49 | |
| *** _whitelogger has joined #yosys | 03:51 | |
| *** rohitksingh_work has joined #yosys | 04:28 | |
| *** gsi__ has joined #yosys | 04:52 | |
| *** pie__ has joined #yosys | 04:52 | |
| *** gsi_ has quit IRC | 04:55 | |
| *** pie___ has quit IRC | 04:56 | |
| *** leviathanch has quit IRC | 05:04 | |
| *** proteusguy has joined #yosys | 06:07 | |
| *** emeb_mac has quit IRC | 06:33 | |
| *** proteusguy has quit IRC | 06:44 | |
| *** proteusguy has joined #yosys | 06:46 | |
| *** _whitelogger has quit IRC | 07:01 | |
| *** _whitelogger has joined #yosys | 07:03 | |
| *** leptonix has quit IRC | 07:16 | |
| *** leptonix has joined #yosys | 07:17 | |
| *** proteusguy has quit IRC | 07:57 | |
| *** m4ssi has joined #yosys | 08:00 | |
| *** leptonix has quit IRC | 08:03 | |
| *** proteusguy has joined #yosys | 08:09 | |
| *** leptonix has joined #yosys | 09:05 | |
| *** rohitksingh_work has quit IRC | 09:16 | |
| *** rohitksingh_work has joined #yosys | 09:16 | |
| *** togo has joined #yosys | 09:19 | |
| *** futarisIRCcloud has quit IRC | 10:38 | |
| *** proteusguy has quit IRC | 11:31 | |
| *** janrinze has joined #yosys | 11:31 | |
| janrinze | hi there, does anyone know where the icosoc.h definitions for icosoc_sdcard_cs() and such are? the reference comes from icotools/icosoc/examples/sdcard/main.c | 11:34 |
| *** cr1901_modern has quit IRC | 12:28 | |
| keesj | sounds like something that needs to be generated hence I would expect https://github.com/cliffordwolf/icotools/blob/master/icosoc/icosoc.py in the generate header | 12:40 |
| tpb | Title: icotools/icosoc.py at master · cliffordwolf/icotools · GitHub (at github.com) | 12:40 |
| *** rohitksingh_work has quit IRC | 12:40 | |
| *** MoeIcenowy has quit IRC | 14:05 | |
| *** MoeIcenowy has joined #yosys | 14:05 | |
| *** emeb has joined #yosys | 15:01 | |
| *** AlexDaniel has quit IRC | 17:36 | |
| *** m4ssi has quit IRC | 17:43 | |
| *** rohitksingh has joined #yosys | 18:01 | |
| *** gsi__ is now known as gsi_ | 18:51 | |
| *** kristianpaul has quit IRC | 19:10 | |
| *** kristianpaul has joined #yosys | 19:10 | |
| *** cr1901_modern has joined #yosys | 20:43 | |
| *** maikmerten has joined #yosys | 20:47 | |
| *** rohitksingh has quit IRC | 20:50 | |
| *** shorne has joined #yosys | 21:44 | |
| *** maikmerten has quit IRC | 22:01 | |
| *** togo has quit IRC | 22:49 | |
| *** emeb has quit IRC | 23:52 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!