renze_ has joined #yosys
zino__ has joined #yosys
bpye_ has joined #yosys
philgekni has joined #yosys
bpye has quit [*.net *.split]
renze has quit [*.net *.split]
sunxi_fan has quit [*.net *.split]
zino has quit [*.net *.split]
phil_gekni has quit [*.net *.split]
sunxi_fan has joined #yosys
pepijndevos has quit [Ping timeout: 260 seconds]
pepijndevos has joined #yosys
digshadow has quit [Ping timeout: 252 seconds]
digshadow has joined #yosys
gnufan has joined #yosys
digshadow has quit [Ping timeout: 246 seconds]
mbuf has joined #yosys
digshadow has joined #yosys
pie_ has joined #yosys
FabM has joined #yosys
indy has joined #yosys
mattvenn has joined #yosys
aw- has joined #yosys
mbuf has quit [Remote host closed the connection]
mbuf has joined #yosys
X-Scale has joined #yosys
massi has joined #yosys
m_t has joined #yosys
Max-P has quit [Ping timeout: 240 seconds]
mattvenn has quit [Ping timeout: 268 seconds]
Max-P has joined #yosys
aw- has quit [Quit: Leaving.]
AlexDaniel has quit [Ping timeout: 268 seconds]
AlexDaniel has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
AlexDaniel has quit [Read error: Connection reset by peer]
mbuf has quit [Quit: Leaving]
aw- has joined #yosys
AlexDaniel has joined #yosys
danieljabailey has quit [Read error: Connection reset by peer]
bpye_ is now known as bpye
promach__ has joined #yosys
danieljabailey has joined #yosys
mattvenn has joined #yosys
danieljabailey has quit [Ping timeout: 248 seconds]
AlexDaniel has quit [Ping timeout: 268 seconds]
proteusguy has quit [Ping timeout: 252 seconds]
proteusguy has joined #yosys
pie_ has joined #yosys
kmehall has quit [Ping timeout: 252 seconds]
kmehall has joined #yosys
danieljabailey has joined #yosys
AlexDaniel has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
pie_ has joined #yosys
aw- has quit [Quit: Leaving.]
mattvenn has quit [Ping timeout: 248 seconds]
massi has quit [Remote host closed the connection]
<
bubble_buster>
it seems some here are doing formal verification with yosys+some other tools. can someone point me to a tutorial on this stuff?
<
qu1j0t3>
bubble_buster: I think the ZipCPU blog is a good start?
promach__ has quit [Ping timeout: 260 seconds]
digshadow has quit [Ping timeout: 255 seconds]
shapr has left #yosys ["ERC (IRC client for Emacs 25.1.1)"]
zino__ has quit [Quit: Leaving]
zino has joined #yosys
digshadow has joined #yosys
dys has quit [Ping timeout: 255 seconds]
<
ZipCPU>
bubble_buster: You know, I have been known to answer questions every now and then as well ... ;)
gnufan has quit [Ping timeout: 250 seconds]
gnufan has joined #yosys
dys has joined #yosys
sklv has quit [Quit: quit]
sklv has joined #yosys
sklv has quit [Ping timeout: 248 seconds]
sklv has joined #yosys
FabM has quit [Quit: ChatZilla 0.9.93 [Firefox 52.5.0/20171114221957]]
m_t has quit [Quit: Leaving]
dys has quit [Ping timeout: 246 seconds]
promach__ has joined #yosys