clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb has quit [Quit: Leaving.]
_whitelogger has joined #yosys
PyroPeter has quit [Ping timeout: 250 seconds]
PyroPeter has joined #yosys
citypw has joined #yosys
Cerpin has quit [Ping timeout: 248 seconds]
dys has joined #yosys
Jybz has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
jakobwenzel has joined #yosys
citypw has quit [Remote host closed the connection]
dramforever has joined #yosys
emeb_mac has quit [Ping timeout: 244 seconds]
dramforever has quit [Remote host closed the connection]
dramforever has joined #yosys
pie_ has quit [Ping timeout: 252 seconds]
jakobwenzel has quit [Quit: jakobwenzel]
FL4SHK has quit [Ping timeout: 272 seconds]
FL4SHK has joined #yosys
gmc has quit [Remote host closed the connection]
jakobwenzel has joined #yosys
dys has quit [Ping timeout: 245 seconds]
jakobwenzel has quit [Quit: jakobwenzel]
X-Scale has quit [Read error: Connection reset by peer]
jakobwenzel has joined #yosys
promach has joined #yosys
<promach> Does yosys-smtbmc support $onehot system keyword ?
<daveshah> As far as I know, only with Verific
gmc has joined #yosys
<promach> daveshah : do you know of a poor-man $onehot equivalent code snippet ?
_whitelogger has joined #yosys
jryans has joined #yosys
gmc has quit [Remote host closed the connection]
gmc has joined #yosys
Jybz has quit [Ping timeout: 252 seconds]
maikmerten has joined #yosys
pie_ has joined #yosys
dramforever has quit [Remote host closed the connection]
dramforever has joined #yosys
lutsabound has joined #yosys
Jybz has joined #yosys
X-Scale has joined #yosys
emeb has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 264 seconds]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
maikmerten has quit [Remote host closed the connection]
dramforever has quit [Remote host closed the connection]
citypw has joined #yosys
citypw has quit [Ping timeout: 245 seconds]
dys has joined #yosys
<pepijndevos> https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing Why is Z3 required while Yices is the default solver?
<tpb> Title: Getting Started SymbiYosys 0.1 documentation (at symbiyosys.readthedocs.io)
emeb has quit [Quit: Leaving.]
adjtm has joined #yosys
Cerpin has joined #yosys
elGamal has quit [Ping timeout: 245 seconds]
dys has quit [Ping timeout: 248 seconds]
adamgreig is now known as Randomskk
Randomskk is now known as adamgreig
elGamal has joined #yosys
emeb_mac has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
Thorn has quit [Ping timeout: 244 seconds]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys