clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lf_ has quit [Ping timeout: 260 seconds]
lf has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
citypw_ has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
Degi_ has joined #yosys
Degi has quit [Ping timeout: 246 seconds]
Degi_ is now known as Degi
futarisIRCcloud has joined #yosys
pacak has quit [Read error: Connection reset by peer]
pacak has joined #yosys
bwidawsk has quit [*.net *.split]
Raito_Bezarius has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
wiizzard has quit [*.net *.split]
unkraut has quit [*.net *.split]
ovf has quit [*.net *.split]
wiizzard has joined #yosys
ovf has joined #yosys
unkraut has joined #yosys
notafile has quit [Ping timeout: 246 seconds]
wiizzard has quit [Ping timeout: 258 seconds]
fevv8[m] has quit [Ping timeout: 260 seconds]
promach3 has quit [Ping timeout: 260 seconds]
jryans has quit [Ping timeout: 268 seconds]
bwidawsk has joined #yosys
Raito_Bezarius has joined #yosys
pepijndevos has joined #yosys
Raito_Bezarius has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
bwidawsk has quit [*.net *.split]
bwidawsk has joined #yosys
pepijndevos has joined #yosys
Raito_Bezarius has joined #yosys
promach3 has joined #yosys
wiizzard has joined #yosys
notafile has joined #yosys
fevv8[m] has joined #yosys
bwidawsk has quit [*.net *.split]
Raito_Bezarius has quit [*.net *.split]
pepijndevos has quit [*.net *.split]
bwidawsk has joined #yosys
pepijndevos has joined #yosys
Raito_Bezarius has joined #yosys
Raito_Bezarius has quit [Max SendQ exceeded]
notafile has quit [Ping timeout: 258 seconds]
promach3 has quit [Ping timeout: 265 seconds]
fevv8[m] has quit [Ping timeout: 240 seconds]
wiizzard has quit [Ping timeout: 246 seconds]
jryans has joined #yosys
notafile has joined #yosys
promach3 has joined #yosys
wiizzard has joined #yosys
fevv8[m] has joined #yosys
citypw_ has quit [Ping timeout: 268 seconds]
jfcaron has quit [Quit: jfcaron]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
emeb_mac has quit [Quit: Leaving.]
<promach3> Anyone familiar with formally verification of `always @(*)` ?
<promach3> as in doing `assert()` for `always @(*)`
<promach3> along side with `for` loop
mndza has joined #yosys
gmc has quit [Remote host closed the connection]
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` is now known as X-Scale
gmc has joined #yosys
vidbina has joined #yosys
jakobwenzel has joined #yosys
mancaus has joined #yosys
citypw_ has joined #yosys
nengel has joined #yosys
s_frit_ has joined #yosys
s_frit has quit [Ping timeout: 240 seconds]
s_frit_ has quit [Remote host closed the connection]
s_frit has joined #yosys
<corecode> hmm i think i'm having an issue with my ice5lp1k being treated as ice5lp4k with its EBR
<corecode> but maybe it is also my ice5lp support in nextpnr
<corecode> i wonder how i can debug this
<corecode> or fix
nengel has quit [Quit: gone afk]
<corecode> or not.
nengel has joined #yosys
<corecode> i guess some other code did something weird, nevermind
<corecode> scratch that. actually related to the block ram
vidbina has quit [Ping timeout: 272 seconds]
vidbina has joined #yosys
vidbina has quit [Ping timeout: 246 seconds]
dkozel has joined #yosys
AdamHord- has quit [Ping timeout: 240 seconds]
FFY00 has quit [Ping timeout: 260 seconds]
vidbina has joined #yosys
AdamHorden has joined #yosys
nengel has quit [Quit: gone afk]
AdamHorden has quit [Ping timeout: 240 seconds]
futarisIRCcloud has joined #yosys
nengel has joined #yosys
FFY00 has joined #yosys
AdamHorden has joined #yosys
<lambda> fun fact: soon, half of all commits in the yosys repo will have been made after the latest release :p
jakobwenzel has quit [Ping timeout: 240 seconds]
jakobwenzel has joined #yosys
vidbina has quit [Ping timeout: 256 seconds]
X-Scale has quit [Read error: Connection reset by peer]
jakobwenzel has quit [Ping timeout: 246 seconds]
emeb_mac has joined #yosys
craigo has joined #yosys
mndza has quit [Read error: Connection reset by peer]
mndza has joined #yosys
jakobwenzel has joined #yosys
jakobwenzel has quit [Ping timeout: 240 seconds]
jakobwenzel has joined #yosys
flammit has quit [Read error: Connection reset by peer]
benreynwar has quit [Read error: Connection reset by peer]
sorear has quit [Ping timeout: 264 seconds]
ktemkin has quit [Ping timeout: 260 seconds]
emilazy has quit [Ping timeout: 260 seconds]
y2kbugger has quit [Read error: Connection reset by peer]
daveshah has quit [Read error: Connection reset by peer]
davidlattimore has quit [Read error: Connection reset by peer]
dnm has quit [Read error: Connection reset by peer]
esden has quit [Read error: Connection reset by peer]
lukego has quit [Write error: Connection reset by peer]
thoughtpolice has quit [Read error: Connection reset by peer]
acertain has quit [Write error: Connection reset by peer]
ric96 has quit [Write error: Connection reset by peer]
carlomaragno has quit [Read error: Connection reset by peer]
bubble_buster has quit [Read error: Connection reset by peer]
futarisIRCcloud has quit [Read error: Connection reset by peer]
litghost has quit [Read error: Connection reset by peer]
tannewt has quit [Read error: Connection reset by peer]
mithro has quit [Write error: Connection reset by peer]
rjeli has quit [Read error: Connection reset by peer]
ovf has quit [Ping timeout: 258 seconds]
flammit has joined #yosys
futarisIRCcloud has joined #yosys
rohitksingh has quit [Ping timeout: 264 seconds]
y2kbugger has joined #yosys
benreynwar has joined #yosys
davidlattimore has joined #yosys
daveshah has joined #yosys
dnm has joined #yosys
rjeli has joined #yosys
ovf has joined #yosys
lukego has joined #yosys
esden has joined #yosys
thoughtpolice has joined #yosys
daveshah has quit [Ping timeout: 264 seconds]
sorear has joined #yosys
ric96 has joined #yosys
jakobwenzel has quit [Ping timeout: 264 seconds]
citypw_ has quit [Ping timeout: 268 seconds]
bubble_buster has joined #yosys
emilazy has joined #yosys
rohitksingh has joined #yosys
emilazy has quit [Ping timeout: 260 seconds]
jfcaron has joined #yosys
tannewt has joined #yosys
bubble_buster has quit [Ping timeout: 272 seconds]
acertain has joined #yosys
ktemkin has joined #yosys
bubble_buster has joined #yosys
emilazy has joined #yosys
daveshah has joined #yosys
FFY00 has quit [Remote host closed the connection]
carlomaragno has joined #yosys
vidbina has joined #yosys
mithro has joined #yosys
litghost has joined #yosys
kraiskil has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
bubble_buster has quit [Read error: Connection reset by peer]
emilazy has quit [Read error: Connection reset by peer]
carlomaragno has quit [Ping timeout: 264 seconds]
mithro has quit [Read error: Connection reset by peer]
bubble_buster has joined #yosys
emilazy has joined #yosys
carlomaragno has joined #yosys
daveshah has quit [Ping timeout: 272 seconds]
jakobwenzel has joined #yosys
mithro has joined #yosys
jakobwenzel1 has joined #yosys
jakobwenzel1 has quit [Client Quit]
jakobwenzel has quit [Ping timeout: 256 seconds]
FFY00 has joined #yosys
mancaus has quit [Remote host closed the connection]
mancaus has joined #yosys
craigo has quit [Ping timeout: 265 seconds]
daveshah has joined #yosys
nengel has quit [Quit: gone afk]
nengel has joined #yosys
emilazy has quit [Ping timeout: 264 seconds]
rjeli has quit [Read error: Connection reset by peer]
emilazy has joined #yosys
rjeli has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
esden has quit [Read error: Connection reset by peer]
tannewt has quit [Read error: Connection reset by peer]
thoughtpolice has quit [Read error: Connection reset by peer]
ovf has quit [Ping timeout: 256 seconds]
tannewt has joined #yosys
acertain has quit [Read error: Connection reset by peer]
thoughtpolice has joined #yosys
esden has joined #yosys
acertain has joined #yosys
ovf has joined #yosys
X-Scale has joined #yosys
tannewt has quit [Read error: Connection reset by peer]
acertain has quit [Read error: Connection reset by peer]
esden has quit [Read error: Connection reset by peer]
emilazy has quit [Read error: Connection reset by peer]
thoughtpolice has quit [Read error: Connection reset by peer]
rjeli has quit [Read error: Connection reset by peer]
tannewt has joined #yosys
ovf has quit [Ping timeout: 260 seconds]
benreynwar has quit [Read error: Connection reset by peer]
flammit has quit [Read error: Connection reset by peer]
dnm has quit [Read error: Connection reset by peer]
carlomaragno has quit [Read error: Connection reset by peer]
lukego has quit [Read error: Connection reset by peer]
benreynwar has joined #yosys
dnm has joined #yosys
emilazy has joined #yosys
flammit has joined #yosys
rjeli has joined #yosys
acertain has joined #yosys
esden has joined #yosys
lukego has joined #yosys
carlomaragno has joined #yosys
rohitksingh has joined #yosys
thoughtpolice has joined #yosys
ovf has joined #yosys
emilazy has quit [Write error: Connection reset by peer]
lukego has quit [Read error: Connection reset by peer]
dnm has quit [Read error: Connection reset by peer]
flammit has quit [Write error: Connection reset by peer]
benreynwar has quit [Write error: Connection reset by peer]
carlomaragno has quit [Read error: Connection reset by peer]
thoughtpolice has quit [Read error: Connection reset by peer]
esden has quit [Read error: Connection reset by peer]
rjeli has quit [Read error: Connection reset by peer]
acertain has quit [Read error: Connection reset by peer]
rohitksingh has quit [Ping timeout: 272 seconds]
ovf has quit [Ping timeout: 260 seconds]
flammit has joined #yosys
benreynwar has joined #yosys
carlomaragno has joined #yosys
thoughtpolice has joined #yosys
dnm has joined #yosys
acertain has joined #yosys
rjeli has joined #yosys
rohitksingh has joined #yosys
esden has joined #yosys
emilazy has joined #yosys
lukego has joined #yosys
ovf has joined #yosys
smarter has joined #yosys
vidbina has quit [Ping timeout: 265 seconds]
emilazy has quit [Read error: Connection reset by peer]
benreynwar has quit [Read error: Connection reset by peer]
carlomaragno has quit [Write error: Connection reset by peer]
flammit has quit [Read error: Connection reset by peer]
thoughtpolice has quit [Read error: Connection reset by peer]
acertain has quit [Read error: Connection reset by peer]
rjeli has quit [Read error: Connection reset by peer]
lukego has quit [Read error: Connection reset by peer]
ovf has quit [Read error: Connection reset by peer]
rqou_ has joined #yosys
benreynwar has joined #yosys
jryans has quit [Ping timeout: 260 seconds]
rqou has quit [Ping timeout: 260 seconds]
rqou_ is now known as rqou
dnm has quit [Ping timeout: 260 seconds]
rohitksingh has quit [Ping timeout: 260 seconds]
vidbina has joined #yosys
jryans has joined #yosys
rjeli has joined #yosys
rohitksingh has joined #yosys
dnm has joined #yosys
rohitksingh has quit [Ping timeout: 272 seconds]
dnm has quit [Ping timeout: 264 seconds]
rohitksingh has joined #yosys
dnm has joined #yosys
thoughtpolice has joined #yosys
acertain has joined #yosys
ovf has joined #yosys
carlomaragno has joined #yosys
flammit has joined #yosys
emilazy has joined #yosys
lukego has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
dnm has quit [Read error: Connection reset by peer]
lukego has quit [Ping timeout: 260 seconds]
emilazy has quit [Read error: Connection reset by peer]
carlomaragno has quit [Read error: Connection reset by peer]
flammit has quit [Write error: Connection reset by peer]
captain_morgan has quit [Quit: The Lounge - https://thelounge.chat]
emilazy has joined #yosys
rohitksingh has quit [Ping timeout: 260 seconds]
dnm has joined #yosys
flammit has joined #yosys
lukego has joined #yosys
carlomaragno has joined #yosys
captain_morgan has joined #yosys
rohitksingh has joined #yosys
s_frit_ has joined #yosys
s_frit has quit [Ping timeout: 272 seconds]
vidbina has joined #yosys
acertain has quit [Read error: Connection reset by peer]
thoughtpolice has quit [Ping timeout: 246 seconds]
thoughtpolice has joined #yosys
acertain has joined #yosys
nengel has quit [Quit: gone afk]
mndza has quit [Ping timeout: 246 seconds]
richbridger has quit [Remote host closed the connection]
s_frit_ has quit [Ping timeout: 260 seconds]
s_frit has joined #yosys
kraiskil has quit [Ping timeout: 260 seconds]
wiizzard has quit [Ping timeout: 240 seconds]
promach3 has quit [Ping timeout: 246 seconds]
jryans has quit [Ping timeout: 265 seconds]
fevv8[m] has quit [Ping timeout: 265 seconds]
notafile has quit [Ping timeout: 246 seconds]
atk has quit [Ping timeout: 265 seconds]
atk has joined #yosys
oter has quit [Ping timeout: 260 seconds]
FFY00 has quit [Read error: Connection reset by peer]
unkraut has quit [*.net *.split]
unkraut has joined #yosys
FFY00 has joined #yosys
promach3 has joined #yosys
promach3 has quit [Quit: Bridge terminating on SIGTERM]
fevv8[m] has joined #yosys
jrawson has quit [Remote host closed the connection]
jrawson has joined #yosys
notafile has joined #yosys
promach3 has joined #yosys
wiizzard has joined #yosys
jryans has joined #yosys