*** tpb <[email protected]> has joined #yosys | 00:00 | |
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys | 00: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 #yosys | 01:34 | |
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 01: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 #yosys | 02: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 #yosys | 04:50 | |
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 | 05:43 |
---|---|---|
abradd | ERROR: Unsupported cell type $tribuf for cell tritest.$ternary$tritest.v:10$3 | 05:43 |
jix | abradd: "prep; flatten; tribuf -formal" should work and automatically adds assertions that fail on drive conflicts | 07:26 |
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys | 07:43 | |
*** abradd <[email protected]> has quit IRC (Quit: Client closed) | 07:59 | |
*** abradd <[email protected]> has joined #yosys | 09: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 #yosys | 11:26 | |
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:a9ff:f61a:f735:d01> has joined #yosys | 13: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 #yosys | 16: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 #yosys | 19:22 | |
*** esden_ <[email protected]> has joined #yosys | 19:22 | |
*** ecs_ <ecs_!ecs@hare/maintainer/ecs> has joined #yosys | 19:22 | |
*** gatecat_ <[email protected]> has joined #yosys | 19:22 | |
*** dnm_ <[email protected]> has joined #yosys | 19:23 | |
*** arogora <[email protected]> has joined #yosys | 19:23 | |
*** ovf_ <[email protected]> has joined #yosys | 19:23 | |
*** cyrozap_ <cyrozap_!~cyrozap@2600:1f16:7c0:cf00:a054:926f:77a6:5834> has joined #yosys | 19: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 gatecat | 19:25 | |
*** esden_ is now known as esden | 19:25 | |
*** arogora is now known as killjoy | 19:25 | |
*** ovf_ is now known as ovf | 19:25 | |
*** dnm_ is now known as dnm | 19:25 | |
*** ecs_ is now known as ecs | 19:26 | |
*** ecs <ecs!ecs@hare/maintainer/ecs> has left #yosys (*.net *.split) | 19:35 | |
*** FabM <FabM!~FabM@armadeus/team/FabM> has joined #yosys | 19:37 | |
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 19: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 #yosys | 21: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 #yosys | 23:21 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!