| *** tpb <[email protected]> has joined #symbiflow | 00:00 | |
| *** balrog <balrog!znc@user/balrog> has quit IRC (Quit: Bye) | 01:28 | |
| *** balrog <balrog!znc@user/balrog> has joined #symbiflow | 01:33 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:11ef:719a:393d:292f> has joined #symbiflow | 02:08 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:11ef:719a:393d:292f> has quit IRC (Ping timeout: 240 seconds) | 02:12 | |
| *** cr1901_ is now known as cr1901 | 02:15 | |
| *** bl0x_ <bl0x_!~bastii@p200300d7a710b700de7aecf4886d714e.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 268 seconds) | 02:35 | |
| *** bl0x_ <bl0x_!~bastii@p200300d7a748de00860d771e0ed1ec61.dip0.t-ipconnect.de> has joined #symbiflow | 02:37 | |
| *** tpb_ <[email protected]> has joined #symbiflow | 07:56 | |
| *** tpb <[email protected]> has quit IRC (Killed (NickServ (GHOST command used by tpb_))) | 07:56 | |
| *** tpb_ is now known as tpb | 07:56 | |
| tpb | <theNick> Hi guys, I hope this is the right place for my question! First, awesome work! I have a question about project x-rays bit2fasm feature where I wasn't able to find an answer in the docs (or in the code). When I run bit2fasm on a Vivado encoded bitstream it will yield the correct FASM file. | 15:28 |
|---|---|---|
| tpb | <theNick> But the LUT INIT values between the FASM representation and what Vivado shows in the GUI (or the HDL code, if one forces a full LUT6/5 with correct pin mapping and without optimizations) differ. Any idea what is happening there? Do you guys have any pointers on this / know what I am missing? First thing that comes to mind is that Xilinx obfuscates | 15:28 |
| tpb | <theNick> the LUT Init values and the FASM stays true to the bitstream values. Thanks in advance! | 15:28 |
| *** Luke <Luke!~ldm@hacksoc/member> has quit IRC (Ping timeout: 250 seconds) | 17:02 | |
| *** Luke <Luke!~ldm@hacksoc/member> has joined #symbiflow | 17:02 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (Ping timeout: 250 seconds) | 17:09 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has joined #symbiflow | 17:09 | |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0:ba27:ebff:fe5e:6b6e> has quit IRC (Quit: Disconnected) | 17:46 | |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0::2d3f> has joined #symbiflow | 17:49 | |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0::2d3f> has quit IRC (Quit: Disconnected) | 18:20 | |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0:6e43:649b:ecfe:98c3> has joined #symbiflow | 18:25 | |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0:6e43:649b:ecfe:98c3> has quit IRC (Quit: Disconnected) | 18:53 | |
| gatecat | theNick: are you sure you are accounting for the LUT permutation correctly? that's the most likely reason for shuffled init values | 18:58 |
| *** lopsided98 <lopsided98!~quassel@2601:18a:0:85e0:5160:68c5:96c8:7405> has joined #symbiflow | 19:04 | |
| tpb | <theNick> tpb Thanks for the fast answer! :) I'm pretty sure I do not account for that at all. Do you have a link / resource to catch up on this topic? It sounds like it should be pretty obvious, but I am kind of stuck to my embarrassment | 19:30 |
| gatecat | Vivado will in general swap inputs around and it's important to make sure that you are following the hardware inputs correctly when determining the init values | 19:33 |
| gatecat | "correct pin mapping" sounds like you're trying to lock the pin mapping to prevent this; is this actually confirmed opening up the post-PnR design ? | 19:33 |
| tpb | <theNick> Ah, yes. I was assuming that the INIT value that is displayed in Vivado is already adjusted for eventually swapped pin assignments. And yes, I tried to exclude that case by locking the pin mapping - I'm gonna double check if that is really the case. | 19:36 |
| tpb | <theNick> But I gather from your answer that the INIT values in the FASM and in Vivado should match, once corrected for pin assignments? | 19:36 |
| gatecat | Yeah; they should - also note that for anything smaller than a LUT6 it will be duplicated up to a LUT6 (i.e. unmapped pins are treated as don't cares when calculating the 'physical' 64-bit init value) | 19:38 |
| tpb | <theNick> Great to hear! Then I'm gonna tinker away and see if I can find the culprit. Thanks a lot tpb! | 19:42 |
| gatecat | it's gatecat here, tpb is the name of the Slack-IRC bridge bot :D | 19:43 |
| gatecat | (I'm on the IRC side of the lake) | 19:43 |
| tpb | <theNick> I was already wondering why the nick doesn't match :D Have a good evening :) | 19:45 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!