clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
leptonix has quit [Remote host closed the connection]
leptonix has joined #yosys
leptonix has quit [Ping timeout: 272 seconds]
<bpye> ZipCPU: Thank you! That totally explains it
<bpye> Well, totally enough, I couldn't work out where the illegal state was coming from myself
<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.
leptonix has joined #yosys
<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
<ZipCPU> (You could also have an assertion bug at that last time step too ...)
leviathanch has joined #yosys
futarisIRCcloud has joined #yosys
PyroPeter has quit [Ping timeout: 257 seconds]
PyroPeter has joined #yosys
_whitelogger has joined #yosys
rohitksingh_work has joined #yosys
gsi__ has joined #yosys
pie__ has joined #yosys
gsi_ has quit [Ping timeout: 250 seconds]
pie___ has quit [Ping timeout: 255 seconds]
leviathanch has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
proteusguy has joined #yosys
emeb_mac has quit [Ping timeout: 250 seconds]
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
_whitelogger has joined #yosys
leptonix has quit [Ping timeout: 250 seconds]
leptonix has joined #yosys
proteusguy has quit [Ping timeout: 255 seconds]
m4ssi has joined #yosys
leptonix has quit [Quit: leaving]
proteusguy has joined #yosys
leptonix has joined #yosys
rohitksingh_work has quit [Read error: Connection reset by peer]
rohitksingh_work has joined #yosys
togo has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
proteusguy has quit [Remote host closed the connection]
janrinze has joined #yosys
<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
cr1901_modern has quit [Ping timeout: 250 seconds]
<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
<tpb> Title: icotools/icosoc.py at master · cliffordwolf/icotools · GitHub (at github.com)
rohitksingh_work has quit [Read error: Connection reset by peer]
MoeIcenowy has quit [Quit: ZNC 1.6.5+deb1+deb9u1 - http://znc.in]
MoeIcenowy has joined #yosys
emeb has joined #yosys
AlexDaniel has quit [Read error: No route to host]
m4ssi has quit [Remote host closed the connection]
rohitksingh has joined #yosys
gsi__ is now known as gsi_
kristianpaul has quit [Remote host closed the connection]
kristianpaul has joined #yosys
cr1901_modern has joined #yosys
maikmerten has joined #yosys
rohitksingh has quit [Ping timeout: 268 seconds]
shorne has joined #yosys
maikmerten has quit [Quit: bye]
togo has quit [Quit: Leaving]
emeb has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
davos has joined #yosys