Monday, 2023-10-16

*** tpb <[email protected]> has joined #yosys00:00
*** povik <[email protected]> has quit IRC (Ping timeout: 264 seconds)00:39
Myrl-sakiIs all 0s considered onehot?02:29
Myrl-sakiAh yeah, so onehot is at most one, not exactly one, right?02:37
Myrl-sakii.e. all 0s is onehot.02:37
*** srk <srk!~sorki@user/srk> has quit IRC (Remote host closed the connection)02:43
*** srk <srk!~sorki@user/srk> has joined #yosys02:43
*** philtor <[email protected]> has joined #yosys02:44
*** pbsds <[email protected]> has quit IRC (Quit: The Lounge - https://thelounge.chat)03:03
*** pbsds <[email protected]> has joined #yosys03:04
*** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer)03:30
*** nelgau <[email protected]> has joined #yosys03:31
*** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer)03:32
*** nelgau <[email protected]> has joined #yosys03:34
*** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer)03:35
*** nelgau_ <[email protected]> has joined #yosys03:37
*** cr1901 <cr1901!~cr1901@2601:8d:8600:226:71ce:38b:2a6d:bae7> has quit IRC (Read error: Connection reset by peer)04:25
*** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:ad79:8747:a880:ea8b> has joined #yosys04:25
*** srk_ <srk_!~sorki@user/srk> has joined #yosys04:26
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 272 seconds)04:26
*** srk_ is now known as srk04:29
*** indy_ is now known as indy06:24
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys06:38
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 252 seconds)07:59
*** redcake <[email protected]> has joined #yosys08:07
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys08:09
*** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (Ping timeout: 255 seconds)08:13
*** Stary <Stary!Stary@hacksoc/infrastructure> has quit IRC (Ping timeout: 255 seconds)08:13
*** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys08:13
*** Stary <Stary!Stary@hacksoc/infrastructure> has joined #yosys08:14
*** redcake <[email protected]> has quit IRC (Quit: Quit)08:33
*** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:163> has quit IRC (Quit: Bridge terminating on SIGTERM)09:03
*** whitequark[cis] <whitequark[cis]!whitequark@2a01:4f8:c012:5b7:0:1:0:4> has quit IRC (Quit: Bridge terminating on SIGTERM)09:03
*** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:195> has joined #yosys09:03
*** ChanServ sets mode: +o _catircservices09:03
*** nelgau_ <[email protected]> has quit IRC (Read error: Connection reset by peer)10:24
*** nelgau <[email protected]> has joined #yosys10:25
*** unkraut <[email protected]> has quit IRC (Remote host closed the connection)10:43
*** unkraut <[email protected]> has joined #yosys10:44
*** schaeg <schaeg!~anabrid@2a02:3036:260:ec65:b8c:76fb:d165:f757> has joined #yosys10:51
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Read error: Connection reset by peer)11:40
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys11:41
*** schaeg <schaeg!~anabrid@2a02:3036:260:ec65:b8c:76fb:d165:f757> has quit IRC (Ping timeout: 264 seconds)12:01
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has quit IRC (Ping timeout: 245 seconds)12:24
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has joined #yosys12:32
*** schaeg <schaeg!~anabrid@2a02:3036:260:ec65:4590:2e85:4a07:fef8> has joined #yosys13:32
*** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:ad79:8747:a880:ea8b> has quit IRC (Read error: Connection reset by peer)14:24
Myrl-sakiIs there a way to tell Yosys not to deduplicate/share something? To decrease routing delay14:49
Myrl-sakiAlso hmm.15:28
Myrl-sakiWhy is Yosys saying that `ram.cells.0.24_WRE_LUT3_F_LC.C` is <async>?15:29
Myrl-sakiOh wait no, nextpnr.15:29
Myrl-sakihttps://gist.github.com/adrianparvino/f148890f6385d4ce3c6024a0d756974915:30
gatecatOne possibility is that if a ROM is getting mapped to LUTRAM (Yosys should be told not to do this, because it's less efficient than just using ROM)16:51
gatecatit could also just be a nextpnr bug16:51
*** cr1901 <cr1901!~cr1901@2601:8d:8600:226:e442:4180:c519:c6bb> has joined #yosys17:01
*** skipwich_ is now known as skipwich17:05
Myrl-sakiOh weird. I used master now, and that log just disappears lol18:08
Myrl-saki:shrug:18:08
*** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)18:41
*** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys18:42
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 264 seconds)18:57
*** nelgau_ <[email protected]> has joined #yosys20:08
*** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer)20:08
*** nelgau_ <[email protected]> has quit IRC (Read error: Connection reset by peer)20:08
*** nelgau_ <[email protected]> has joined #yosys20:09
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:18
*** nonchip <[email protected]> has joined #yosys22:18
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 258 seconds)22:27
*** srk <srk!~sorki@user/srk> has joined #yosys22:31
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 272 seconds)23:02
*** srk <srk!~sorki@user/srk> has joined #yosys23:13
*** schaeg <schaeg!~anabrid@2a02:3036:260:ec65:4590:2e85:4a07:fef8> has quit IRC (Ping timeout: 260 seconds)23:37

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