Monday, 2024-08-19

*** tpb <[email protected]> has joined #yosys00:00
*** anticw <[email protected]> has quit IRC (Remote host closed the connection)02:46
*** anticw <[email protected]> has joined #yosys02:47
*** FabM <FabM!~FabM@2a03:d604:108:3f00:493f:31b2:3ae:4ec5> has joined #yosys05:18
*** famubu[m] <famubu[m]!famubumatr@2a01:4f8:c012:5b7:0:1:0:3ba> has quit IRC (Quit: Idle timeout reached: 172800s)10:47
*** Wolfvak <Wolfvak!~Wolfvak@user/wolfvak> has quit IRC (Quit: ZNC - https://znc.in)12:07
*** Wolfvak <Wolfvak!~Wolfvak@user/wolfvak> has joined #yosys12:10
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 258 seconds)16:21
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys16:23
*** Adrien[m] <Adrien[m]!adrienpbma@2a01:4f8:c012:5b7:0:1:0:7e> has joined #yosys17:36
Adrien[m]Hi ! I am experimenting routing for Zynq target, using nextpnr-himbeachel instead of nextpnr-xilinx (see https://github.com/YosysHQ/nextpnr/pull/1352 BTW)17:36
Adrien[m]But now I'm facing an error which suggests nextpnr-himbeachel for Xilinx arch is no "feature-parity" with nextpnr-xilinx, is that true ?17:38
Adrien[m]ERROR: Unable to find legal placement for cell 'user_inst.$abc$4612$auto$blifparse.cc:535:parse_blif$4646.genblk1.genblk1.genblk1.genblk1.genblk1.genblk1.genblk1.genblk1.genblk1.genblk1.mux8' after 53302 attempts, check constraints and utilisation.17:38
*** flokli <[email protected]> has quit IRC (Ping timeout: 252 seconds)17:39
Adrien[m]How is support for mux8 ?17:39
Adrien[m]Hum weird it's `mux8` and not `muxf8`17:44
Adrien[m]Maybe mux8 is a sort of macro generated by yosys and that hibaechel does not know it's a slice17:44
*** flokli <[email protected]> has joined #yosys18:31
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 265 seconds)18:54
loftyAdrien[m]: indeed, the himbächel port is not yet at parity with the original -xilinx. But rather importantly: the himbächel port is in upstream, and -xilinx never made it :p20:06
Adrien[m]For now, it seems using -nowidelut in yosys makes the thing placeable by himbaechel20:11
Adrien[m]Aud routable !20:12
Adrien[m]Except for an assertion after final report of slack histogram20:12
* Adrien[m] sent a code block: https://catircservices.org/_matrix/media/v3/download/catircservices.org/ykifguSSzlUTKEwdOpPAllNe20:12
Adrien[m]Argh ! its the dreaful IOI SING thingy20:16
Adrien[m]Similar issue than for somlo  then20:16
loftyAdrien[m]: there *is* code to handle MUXF820:23
Adrien[m]Other than that, I'm so happy to see the device database files that are really small, good factorization, thanks authors 👍️ <320:23
loftyAdrien[m]: that's one of the big selling points of himbaechel20:24
Adrien[m]lofty yes, but there is not muxf8 directly, rather what I call a macro, `mux8`20:26
Adrien[m]which can be expanded into one slice with luts and muxf7+muxf8 indeed at any step in the flow, just it seems that expansion is the missing piece.20:26
Adrien[m]drawback of -nowideluts in yosys is that muxf7/8 don't seem to be used at all, there are only luts.20:27
loftythat's because -nowidelut disables use of those20:27
loftybut like20:27
loftyhttps://github.com/YosysHQ/yosys/blob/main/techlibs/xilinx/lut_map.v20:27
loftyYosys should be reporting MUXF7/MUXF8 in the output20:29
*** greeb <greeb!~greeb@user/greeb> has left #yosys (WeeChat 4.3.6)21:40
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:36
*** nonchip <[email protected]> has joined #yosys22:36

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