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 joined #yosys
lf has quit [Ping timeout: 260 seconds]
Guest66867 has quit [Remote host closed the connection]
s_frit has joined #yosys
citypw has joined #yosys
Degi_ has joined #yosys
Degi_ is now known as Degi
_whitelogger has joined #yosys
citypw has quit [Remote host closed the connection]
citypw has joined #yosys
craigo has joined #yosys
kraiskil has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
<keesj> I was reading about cxxrtl here https://tomverbeure.github.io/2020/08/08/CXXRTL-the-New-Yosys-Simulation-Backend.html and hoping it would allow me to add asserts in my test code. Is this not the case?
<tpb> Title: CXXRTL, a Yosys Simulation Backend | Electronics etc… (at tomverbeure.github.io)
<keesj> A.. I think I am better asking how to work with asserts in yosys/formal
cr1901_modern has joined #yosys
danvet has joined #yosys
kraiskil has quit [Ping timeout: 260 seconds]
emeb_mac has quit [Quit: Leaving.]
acomodi has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
vidbina has joined #yosys
acomodi has quit [Quit: Connection closed for inactivity]
citypw has joined #yosys
vidbina has quit [Ping timeout: 264 seconds]
lambda has quit [Ping timeout: 240 seconds]
lambda has joined #yosys
jakobwenzel has joined #yosys
vidbina has joined #yosys
FFY00_ has quit [Remote host closed the connection]
vidbina has quit [Ping timeout: 245 seconds]
FFY00_ has joined #yosys
jakobwenzel has quit [Ping timeout: 272 seconds]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
jakobwenzel has joined #yosys
vidbina has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
jakobwenzel has quit [Ping timeout: 272 seconds]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
kraiskil has joined #yosys
vidbina has quit [Ping timeout: 264 seconds]
kraiskil has quit [Ping timeout: 264 seconds]
jakobwenzel has joined #yosys
vidbina has joined #yosys
FFY00_ has quit [Ping timeout: 260 seconds]
FFY00_ has joined #yosys
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
emeb_mac has joined #yosys
vidbina has quit [Ping timeout: 264 seconds]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 246 seconds]
danvet has quit [Ping timeout: 272 seconds]
kraiskil has joined #yosys
craigo has quit [Ping timeout: 260 seconds]
atk is now known as tak
jakobwenzel has quit [Quit: jakobwenzel]
vidbina has joined #yosys
vidbina has quit [Ping timeout: 245 seconds]
kraiskil has quit [Ping timeout: 276 seconds]
roamingr1 has quit [Ping timeout: 240 seconds]
roamingr1 has joined #yosys
roamingr1 has quit [Ping timeout: 246 seconds]
roamingr1 has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys