Thursday, 2025-08-07

*** tpb <[email protected]> has joined #yosys00:01
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Remote host closed the connection)03:02
*** skipwich_ <skipwich_!~skipwich@user/skipwich> has joined #yosys03:03
*** skipwich_ is now known as skipwich03:04
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection)05:56
*** _whitelogger <[email protected]> has joined #yosys06:02
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys08:03
*** krispaul <[email protected]> has quit IRC (Ping timeout: 272 seconds)08:04
*** marex <marex!~marex@user/marex> has quit IRC (Server closed connection)08:13
*** marex <marex!~marex@user/marex> has joined #yosys08:14
*** krispaul <[email protected]> has joined #yosys09:05
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 240 seconds)09:07
*** ats <[email protected]> has quit IRC (Quit: disk array swap)09:32
*** ats <[email protected]> has joined #yosys09:51
*** cyrozap <cyrozap!~cyrozap@user/cyrozap> has quit IRC (Server closed connection)09:55
*** cyrozap <cyrozap!~cyrozap@user/cyrozap> has joined #yosys09:56
*** jix <jix!~jix@user/jix> has quit IRC (Server closed connection)11:52
*** jix <jix!~jix@user/jix> has joined #yosys11:53
janrinzegatecat: for a while now I have been using openxc7 version of nextpnr-xilinx. Most of the issues I bump into are related to things already fixed in yosysHQ version of the frontend. How realistic is it to port the fixes from yosysHQ into openxc7? I'm willing to try merging the fixes but I think you are most experienced in these matters and can advise me well on this.16:11
*** krispaul <[email protected]> has quit IRC (Read error: Connection reset by peer)17:11
*** krispaul <[email protected]> has joined #yosys17:11
*** lofty[m] <lofty[m]!loftyfield@2a01:4f8:c012:5b7:0:1:0:570> has joined #yosys18:31
lofty[m]janrinze: if it was feasible, they would have merged nextpnr-xilinx into the YosysHQ upstream.18:31
somlolast time I inquired, nextpnr-xilinx was obsoleted/superseded by nextpnr-himbaechel18:33
janrinzelofty[m]: I can understand that the two projects have diverged. What I need is the fixes from the frontend. If those could be ported to openxc7 then it might solve my current issues.18:37
janrinzesomlo: I don't think that nextpnr-himbaechel is doing xilinx yet. There was some remarks on it being very experimental a.t.m. and lacking some features.18:39
janrinzelofty[m]: the issue i am running into is a bug in merge_nets() which stumbles over some very strange out_of_range errors that don't happen with the same design built with nextpnr-ecp5 built from yosysHQ. (same design but different target FPGA) 18:42
somlojanrinze: quoting and paraphrasing gatecat from memory (with apologies if I misunderstood anything), nextpnr-xilinx is an "evolutionary dead end", any xilinx-specific progress will come from himbaechel19:02
somloI did manage to get himbaechel to produce a working arty blinky bitstream19:03
somlosadly, I haven't to date gotten a large enough chunk of contiguous time to wrap my head around all the moving parts, so I can't offer any useful technical help19:04
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys19:08
*** krispaul <[email protected]> has quit IRC (Ping timeout: 240 seconds)19:09
janrinzesomlo: openxc7 forked nextpnr-xilinx around 2020 i guess. they have done their own patches and development but did not keep up with yosysHQ. 19:55
janrinzesomlo: gatecat has the most knowlegde i.h.m.o. The work on nextpnr-xilinx from gatecat's github has stopped quite some time ago and I can understand that it took too much energy to keep it afloat while diverging from the work at yosysHQ. The hope is still that nextpnr-himbaechel will get the attention but not in the near future. (I can relate being swamped in work and not enough energy to work on open-source projects.) OpenXC7 has built u20:01
janrinzepon the work from gatecat and is still getting patches. 20:01
janrinzeoops i.h.m.o -> i.m.h.o. :-D20:01
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:14
*** nonchip <[email protected]> has joined #yosys22:14

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