| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** Gracana <[email protected]> has joined #yosys | 01:03 | |
| Gracana | Hi folks. Is there a way to do a timing analysis of a design that only has internal routing? I'm trying to figure out if something is even worth doing, before integrating it into a design with IO and everything. | 01:06 |
|---|---|---|
| Gracana | I think this is more of a nextpnr question, but #nextpnr is basically empty, so I came here. | 01:07 |
| Gracana | oh I don't actually have to provide pin constraints | 01:22 |
| *** hrberg <[email protected]> has quit IRC (Quit: No Ping reply in 180 seconds.) | 01:24 | |
| *** hrberg <[email protected]> has joined #yosys | 01:25 | |
| *** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection) | 01:47 | |
| *** _whitelogger <[email protected]> has joined #yosys | 01:48 | |
| whitequark | there's a #nextpnr? oh | 02:46 |
| Forty-Bot | Gracana: you can get more accurate timing by creating a shift register for all the inputs, and a xor reduction for all the outputs | 04:32 |
| Forty-Bot | this will prevent your logic from being optimized away, and you will get more accurate timing | 04:33 |
| *** ChanServ sets mode: +o whitequark | 05:50 | |
| whitequark | do folks here want to have a Matrix bridge set up, for when Libera deportals from matrix.org? | 05:59 |
| tnt | somlo: but the issue you found is irrelevant if you haven't applied the 50 commits yosys-abc have that upstream doesn't ... those already fixes known issues. Only rebasing those onto upstream abc and testing that would potentially help uncover issue yosys team would encounter during the next update they do. | 06:07 |
| *** charlottia[mx] <charlottia[mx]!~charlotti@2001:470:69fc:105::3:5e7d> has quit IRC (Remote host closed the connection) | 06:47 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 07:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:02 | |
| jix_ | IIRC this looks like the issue fixed by https://github.com/YosysHQ/abc/commit/1de4eafb0da0639199bd97f2fa98471e76327a6b | 07:36 |
| jix_ | and yeah using upstream abc is completely unsupported, we might at any time even add new functionality to our abc fork and start depending on it in the next release | 07:45 |
| jix_ | or depend on specific new yosys-abc functionality in other yosyshq tools that depend on yosys (that users might use even if it's not packaged and thus not tested by a distribution) | 07:46 |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 245 seconds) | 07:48 | |
| jix_ | somlo: The last time debian reported a bug to us that wouldn't occur when using the matching yosys-abc version, they indicated that they'd like to package yosys-abc separately, but need tags on our abc repo to make that work with their infrastructure, not just the commit id in the yosys makefile, which we started doing now | 07:52 |
| jix_ | I'm not sure if they already started packaging it, but if packaging yosys-abc separately is compatible with fedora's no bundling policy that would be much better than trying to make yosys work with upstream abc | 07:53 |
| *** jix_ is now known as jix | 07:57 | |
| lambda | whitequark: re matrix bridge, that would be nice | 09:23 |
| somlo | jix_: thanks, that was it! | 13:51 |
| somlo | btw, is there an upstream (berkeley-abc/abc) PR corresponding to that, or have you all given up on trying for that? | 13:51 |
| somlo | for context, I don't maintain abc in fedora, so I'll have to reach out to the abc packager and see what we can come up with... | 13:53 |
| somlo | jix: to be clear, by "that was it" I meant 1de4eafb0da0639199bd97f2fa98471e76327a6b :) | 13:54 |
| jix | somlo: that's also how I parsed it :) | 13:54 |
| jix | somlo: don't think there is a corresponding PR, there probably should be one, but looking at past/open PRs it could take a while/forever to be merged | 13:59 |
| somlo | as a packager, I guess the interesting (and potentially awkward, but I'll ask it anyway) question is whether yosyshq/abc is seriously meant to be generally usable even outside the yosys ecosystem (sort-of the libreoffice vs. openoffice equivalent)? | 14:24 |
| somlo | that would make things much simpler for packaging :) | 14:25 |
| jix | somlo: I don't think there's an official position on that, but I'm using yosys-abc even when I need abc for something completely unrelated to yosys and I think other yosys devs do the same so I'd say it is meant to be generally usable | 14:56 |
| lofty | somlo: here's a question for you: how many other packages depend on ABC? It can't be many. | 16:27 |
| somlo | lofty, you're most likely right about that... | 16:58 |
| *** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:73> has joined #yosys | 20:33 | |
| *** whitequark[cis]1 <whitequark[cis]1!whitequark@2a01:4f8:c012:5b7:0:1:0:3> has joined #yosys | 20:33 | |
| *** whitequark[cis] <whitequark[cis]!whitequa_1@2a01:4f8:c012:5b7:0:1:0:4> has joined #yosys | 20:33 | |
| *** whitequark[cis]1 <whitequark[cis]1!whitequark@2a01:4f8:c012:5b7:0:1:0:3> has left #yosys | 20:35 | |
| *** ChanServ sets mode: +o _catircservices | 20:36 | |
| *** whitequark changes topic to "Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org" | 20:39 | |
| whitequark | test | 20:39 |
| whitequark[cis] | all right, the Matrix bridge seems to work | 20:40 |
| *** Wanda[cis] <Wanda[cis]!mwkmwkmwkm@2a01:4f8:c012:5b7:0:1:0:c> has joined #yosys | 20:43 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 250 seconds) | 21:13 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 21:24 | |
| *** AdamHorden <[email protected]> has quit IRC (Quit: adam.horden.me) | 21:49 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:16 | |
| *** nonchip <[email protected]> has joined #yosys | 22:16 | |
| *** anticw <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 23:49 | |
| *** anticw <[email protected]> has joined #yosys | 23:50 | |
| *** Tokamak_ <[email protected]> has joined #yosys | 23:53 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!