ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
gsmecher has quit [Ping timeout: 256 seconds]
cr1901_ has joined #yosys
cr1901 has quit [Ping timeout: 240 seconds]
cr1901_ is now known as cr1901
citypw has joined #yosys
bl0x_ has quit [Ping timeout: 268 seconds]
bl0x_ has joined #yosys
tlwoerner has quit [Remote host closed the connection]
tlwoerner has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
kristianpaul has joined #yosys
kristianpaul has quit [Changing host]
jevinskie[m] has quit [Ping timeout: 240 seconds]
tpb_ has joined #yosys
tpb has quit [Killed (NickServ (GHOST command used by tpb_))]
tpb_ is now known as tpb
jevinskie[m] has joined #yosys
citypw has quit [Ping timeout: 276 seconds]
vidbina has joined #yosys
uis has quit [Quit: ZNC 1.7.5 - https://znc.in]
uis has joined #yosys
tnt has quit [Ping timeout: 250 seconds]
tnt has joined #yosys
vidbina has quit [Ping timeout: 256 seconds]
<ikskuh> yeah, i have to verify that one day
<ikskuh> but my setup works right now and i'm doing the crunch work right now
<ikskuh> i kinda wonder how to perform behaviour tests for my CPU implementation. i don't think hand-writing workbenches will not scale well
<ikskuh> current idea is auto-generating test benches from asm files, run the file in a templated testbench and inserts asserts for "these invariants must be given after X clocks"
vidbina has joined #yosys
lexano has quit [Ping timeout: 240 seconds]
lexano has joined #yosys
ikskuh has quit [Ping timeout: 250 seconds]
ikskuh has joined #yosys
vidbina has quit [Ping timeout: 256 seconds]
nelgau has joined #yosys
nelgau has quit [Remote host closed the connection]