whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
bjorkintosh has joined #yosys
schaeg_ has quit [Remote host closed the connection]
schaeg_ has joined #yosys
citypw has joined #yosys
bjorkintosh has quit [Ping timeout: 240 seconds]
bjorkintosh has joined #yosys
bjorkintosh has quit [Changing host]
bjorkintosh has joined #yosys
bjorkintosh has quit [Ping timeout: 245 seconds]
jn has quit [Ping timeout: 268 seconds]
abradd has joined #yosys
<abradd> Does symbiyosys support tristate buffers? If I run the default flow ("read", then "prep") the tristate device is mapped to an AND gate. If I expand "prep" and run "tribuf" after I get an error
<abradd> ERROR: Unsupported cell type $tribuf for cell tritest.$ternary$tritest.v:10$3
<jix> abradd: "prep; flatten; tribuf -formal" should work and automatically adds assertions that fail on drive conflicts
FabM has joined #yosys
FabM has joined #yosys
abradd has quit [Quit: Client closed]
abradd has joined #yosys
abradd has quit [Client Quit]
jn_ has joined #yosys
jn_ has joined #yosys
bjorkintosh has joined #yosys
bjorkintosh has quit [Changing host]
bjorkintosh has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
bjorkintosh has quit [Quit: Leaving]
bjorkintosh has joined #yosys
schaeg_ has quit [Ping timeout: 268 seconds]
Psenteee has joined #yosys
esden_ has joined #yosys
ecs_ has joined #yosys
gatecat_ has joined #yosys
dnm_ has joined #yosys
arogora has joined #yosys
ovf_ has joined #yosys
cyrozap_ has joined #yosys
ovf has quit [Ping timeout: 252 seconds]
gatecat has quit [Ping timeout: 252 seconds]
Psentee has quit [Ping timeout: 252 seconds]
esden has quit [Ping timeout: 252 seconds]
dnm has quit [Ping timeout: 252 seconds]
killjoy has quit [Ping timeout: 252 seconds]
cyrozap has quit [Ping timeout: 252 seconds]
ecs has quit [Ping timeout: 252 seconds]
GenTooMan has quit [Ping timeout: 252 seconds]
FabM has quit [Ping timeout: 252 seconds]
gatecat_ is now known as gatecat
esden_ is now known as esden
arogora is now known as killjoy
ovf_ is now known as ovf
dnm_ is now known as dnm
killjoy has quit [Changing host]
killjoy has joined #yosys
ecs_ is now known as ecs
ecs has left #yosys [*.net *.split]
FabM has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
GenTooMan has joined #yosys
FabM has quit [Ping timeout: 260 seconds]
Guest65 has joined #yosys
Guest65 has quit [Client Quit]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys