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