clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
<ZipCPU> Glad to hear it. My own design still isn't working. :D
<ZipCPU> Well ... to be more specific, it passes as many rounds of BMC as I can afford, but not (yet) induction. So ... it might work, I just can't tell.
<tpb> Title: wb2axip/axidouble.v at master · ZipCPU/wb2axip · GitHub (at github.com)
rombik_su has quit [Quit: Leaving]
_whitelogger has joined #yosys
emeb has quit [Quit: Leaving.]
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale has joined #yosys
citypw has joined #yosys
mmicko has quit [Quit: leaving]
mmicko has joined #yosys
mmicko has quit [Remote host closed the connection]
mmicko has joined #yosys
_whitelogger has joined #yosys
_whitelogger has joined #yosys
emeb_mac has quit [Quit: Leaving.]
tmiw has quit [Remote host closed the connection]
Jybz has joined #yosys
cr1901_modern has joined #yosys
cr1901_modern has left #yosys [#yosys]
tmiw_ has joined #yosys
tmiw_ is now known as tmiw
cr1901_modern has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
vidbina has joined #yosys
_whitelogger has joined #yosys
gruetzkopf has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
gruetzkopf has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
_whitelogger has joined #yosys
lutsabound has joined #yosys
fsasm has joined #yosys
Jybz has quit [Excess Flood]
Jybz has joined #yosys
Jybz has quit [Client Quit]
Jybz has joined #yosys
emeb_mac has joined #yosys
arnd has left #yosys [#yosys]
zkms has quit [Quit: reboot@]
zkms has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
fsasm has quit [Ping timeout: 268 seconds]
vidbina has joined #yosys
vidbina has quit [Ping timeout: 260 seconds]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys