Monday, 2023-12-04

*** tpb <[email protected]> has joined #yosys00:00
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys00:08
*** schaeg_ <schaeg_!~anabrid@2a02:3036:267:adc8:22ee:6ae0:bbc8:2f6f> has quit IRC (Remote host closed the connection)01:33
*** schaeg_ <schaeg_!~anabrid@2a02:3036:267:adc8:56e1:901a:38ec:8a2f> has joined #yosys01:34
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys01:51
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 240 seconds)02:16
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:2b15:7830:9d1:55f0> has joined #yosys02:16
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 245 seconds)02:55
*** jn <jn!~quassel@user/jn/x-3390946> has quit IRC (Ping timeout: 268 seconds)02:58
*** abradd <[email protected]> has joined #yosys04:50
abraddDoes 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 error05:43
abraddERROR: Unsupported cell type $tribuf for cell tritest.$ternary$tritest.v:10$305:43
jixabradd: "prep; flatten; tribuf -formal" should work and automatically adds assertions that fail on drive conflicts07:26
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys07:43
*** abradd <[email protected]> has quit IRC (Quit: Client closed)07:59
*** abradd <[email protected]> has joined #yosys09:19
*** abradd <[email protected]> has quit IRC (Client Quit)09:20
*** jn_ <jn_!~quassel@2001-4dd4-8515-0-20d-b9ff-fe49-15fc.ipv6dyn.netcologne.de> has joined #yosys11:26
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:a9ff:f61a:f735:d01> has joined #yosys13:35
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 240 seconds)14:13
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Quit: Leaving)15:52
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys16:05
*** schaeg_ <schaeg_!~anabrid@2a02:3036:267:adc8:56e1:901a:38ec:8a2f> has quit IRC (Ping timeout: 268 seconds)16:52
*** Psenteee <Psenteee!~psentee@user/psentee> has joined #yosys19:22
*** esden_ <[email protected]> has joined #yosys19:22
*** ecs_ <ecs_!ecs@hare/maintainer/ecs> has joined #yosys19:22
*** gatecat_ <[email protected]> has joined #yosys19:22
*** dnm_ <[email protected]> has joined #yosys19:23
*** arogora <[email protected]> has joined #yosys19:23
*** ovf_ <[email protected]> has joined #yosys19:23
*** cyrozap_ <cyrozap_!~cyrozap@2600:1f16:7c0:cf00:a054:926f:77a6:5834> has joined #yosys19:23
*** ovf <[email protected]> has quit IRC (Ping timeout: 252 seconds)19:25
*** gatecat <[email protected]> has quit IRC (Ping timeout: 252 seconds)19:25
*** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Ping timeout: 252 seconds)19:25
*** esden <[email protected]> has quit IRC (Ping timeout: 252 seconds)19:25
*** dnm <[email protected]> has quit IRC (Ping timeout: 252 seconds)19:25
*** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (Ping timeout: 252 seconds)19:25
*** cyrozap <cyrozap!~cyrozap@2600:1f16:7c0:cf00:a054:926f:77a6:5834> has quit IRC (Ping timeout: 252 seconds)19:25
*** ecs <ecs!ecs@hare/maintainer/ecs> has quit IRC (Ping timeout: 252 seconds)19:25
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 252 seconds)19:25
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 252 seconds)19:25
*** gatecat_ is now known as gatecat19:25
*** esden_ is now known as esden19:25
*** arogora is now known as killjoy19:25
*** ovf_ is now known as ovf19:25
*** dnm_ is now known as dnm19:25
*** ecs_ is now known as ecs19:26
*** ecs <ecs!ecs@hare/maintainer/ecs> has left #yosys (*.net *.split)19:35
*** FabM <FabM!~FabM@armadeus/team/FabM> has joined #yosys19:37
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys19:37
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 260 seconds)21:32
*** Guest65 <Guest65!~Guest65@2a00:23c5:9b95:ce01:224:d6ff:fe9b:179e> has joined #yosys21:48
*** Guest65 <Guest65!~Guest65@2a00:23c5:9b95:ce01:224:d6ff:fe9b:179e> has quit IRC (Client Quit)21:48
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)23:21
*** nonchip <[email protected]> has joined #yosys23:21

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!