Wednesday, 2023-01-04

*** tpb <[email protected]> has joined #yosys00:00
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:2d80:e0f2:2c44:b156> has quit IRC (Ping timeout: 260 seconds)00:30
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys02:45
*** bl0x <[email protected]> has joined #yosys02:54
*** bl0x_ <[email protected]> has quit IRC (Ping timeout: 246 seconds)02:55
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys06:00
*** knicklicht41 <knicklicht41!~knicklich@2a02:908:1995:4220:d58e:5f27:e09f:3e6d> has joined #yosys06:30
knicklicht41Hey all and happy new year, is it possible to further refine timing optimizations when using -abc9 with synth_ecp5?10:20
gatecatknicklicht41: you can try the flow3 trick mentioned here: https://github.com/Ravenslofty/yosys-cookbook/blob/master/ecp5.md10:28
knicklicht41Thanks, I am very close to my target. Can I set the seed to the RNG somewhere so that I can try different values systematically?10:53
aggknicklicht41: You can pass --seed to nextpnr-ecp5, I wrote a script a while back to run lots of seeds in parallel and report the best https://gist.github.com/adamgreig/b040b6e3d7a7a64f613780eae6c0793012:55
aggNot unusual to scrape like 10% more timing that way12:55
knicklicht41Thanks a lot, I will definitely check it out.14:47
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 255 seconds)15:21
*** knicklicht41 <knicklicht41!~knicklich@2a02:908:1995:4220:d58e:5f27:e09f:3e6d> has quit IRC (Quit: Client closed)15:54
*** knicklicht <knicklicht!~knicklich@2a02:908:1995:4220:d58e:5f27:e09f:3e6d> has joined #yosys16:46
*** knicklicht <knicklicht!~knicklich@2a02:908:1995:4220:d58e:5f27:e09f:3e6d> has quit IRC (Ping timeout: 260 seconds)18:42
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Quit: WeeChat 2.3)20:34
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection)21:34
loftyagg: for added fun, Yosys has a semi-hidden mode which can also gain depth/area sometimes22:05
*** philtor <[email protected]> has quit IRC (Ping timeout: 252 seconds)22:54
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)23:06
*** nonchip <[email protected]> has joined #yosys23:06

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