Wednesday, 2019-03-27

*** tpb has joined #yosys00:00
*** leptonix has quit IRC00:59
*** leptonix has joined #yosys00:59
*** leptonix has quit IRC02:07
bpyeZipCPU: Thank you! That totally explains it02:08
bpyeWell, totally enough, I couldn't work out where the illegal state was coming from myself02:08
emeb_macok, 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 #yosys02:17
ZipCPUbpye: 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 bug02:34
ZipCPU(You could also have an assertion bug at that last time step too ...)02:35
*** leviathanch has joined #yosys02:36
*** futarisIRCcloud has joined #yosys03:18
*** PyroPeter has quit IRC03:30
*** PyroPeter has joined #yosys03:43
*** _whitelogger has quit IRC03:49
*** _whitelogger has joined #yosys03:51
*** rohitksingh_work has joined #yosys04:28
*** gsi__ has joined #yosys04:52
*** pie__ has joined #yosys04:52
*** gsi_ has quit IRC04:55
*** pie___ has quit IRC04:56
*** leviathanch has quit IRC05:04
*** proteusguy has joined #yosys06:07
*** emeb_mac has quit IRC06:33
*** proteusguy has quit IRC06:44
*** proteusguy has joined #yosys06:46
*** _whitelogger has quit IRC07:01
*** _whitelogger has joined #yosys07:03
*** leptonix has quit IRC07:16
*** leptonix has joined #yosys07:17
*** proteusguy has quit IRC07:57
*** m4ssi has joined #yosys08:00
*** leptonix has quit IRC08:03
*** proteusguy has joined #yosys08:09
*** leptonix has joined #yosys09:05
*** rohitksingh_work has quit IRC09:16
*** rohitksingh_work has joined #yosys09:16
*** togo has joined #yosys09:19
*** futarisIRCcloud has quit IRC10:38
*** proteusguy has quit IRC11:31
*** janrinze has joined #yosys11:31
janrinzehi 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.c11:34
*** cr1901_modern has quit IRC12:28
keesjsounds like something that needs to be generated hence I would expect in the generate header12:40
tpbTitle: icotools/ at master · cliffordwolf/icotools · GitHub (at
*** rohitksingh_work has quit IRC12:40
*** MoeIcenowy has quit IRC14:05
*** MoeIcenowy has joined #yosys14:05
*** emeb has joined #yosys15:01
*** AlexDaniel has quit IRC17:36
*** m4ssi has quit IRC17:43
*** rohitksingh has joined #yosys18:01
*** gsi__ is now known as gsi_18:51
*** kristianpaul has quit IRC19:10
*** kristianpaul has joined #yosys19:10
*** cr1901_modern has joined #yosys20:43
*** maikmerten has joined #yosys20:47
*** rohitksingh has quit IRC20:50
*** shorne has joined #yosys21:44
*** maikmerten has quit IRC22:01
*** togo has quit IRC22:49
*** emeb has quit IRC23:52

Generated by 2.13.1 by Marius Gedminas - find it at!