| *** tpb has joined #symbiflow | 00:00 | |
| hackerfoo | litghost: https://gist.github.com/HackerFoo/cb4f0f31467e6f1728afe643b53d197a | 03:22 |
|---|---|---|
| tpb | Title: murax_routing.log · GitHub (at gist.github.com) | 03:22 |
| hackerfoo | And ~1200s to calculate the lookahead with a 4x4 grid. | 03:23 |
| hackerfoo | I haven't profiled yet, though. I suspect std::unordered_map is a bottleneck. | 03:24 |
| *** citypw has joined #symbiflow | 03:36 | |
| *** OmniMancer has joined #symbiflow | 04:24 | |
| *** Bertl_zZ is now known as Bertl | 06:02 | |
| *** OmniMancer has quit IRC | 07:47 | |
| *** Bertl is now known as Bertl_oO | 07:52 | |
| *** clacktronics has quit IRC | 09:02 | |
| *** freemint has joined #symbiflow | 09:58 | |
| *** OmniMancer has joined #symbiflow | 11:16 | |
| sf-slack | <tmichalak> @litghost I have some initial thoughts on the INTERNAL_VREF FASM input and possible solutions (https://docs.google.com/document/d/1iQTNFPo0aVhXSqziD_nQEjSyCO1HHaqE_pAGN4eH9Gg). All comments are welcome. | 12:09 |
| tpb | Title: Google Docs - create and edit documents online, for free. (at docs.google.com) | 12:09 |
| *** clacktronics has joined #symbiflow | 12:32 | |
| *** stzsch has quit IRC | 13:12 | |
| *** stzsch has joined #symbiflow | 13:17 | |
| *** kuldeep has quit IRC | 13:57 | |
| *** craigo has quit IRC | 15:44 | |
| *** citypw has quit IRC | 16:13 | |
| litghost | hackerfoo: Is that at https://github.com/HackerFoo/vtr-verilog-to-routing/commit/98ecb6d06f25ada801794b12eb38d18e48cf2dde ? | 16:28 |
| tpb | Title: parallelize connection box lookahead · HackerFoo/vtr-verilog-to-routing@98ecb6d · GitHub (at github.com) | 16:28 |
| litghost | hackerfoo: Assuming that was 1200s for the full 50T, and the lookahead works on both the basys3 and 50T graphs, let's start an integration run of that | 16:31 |
| hackerfoo | No, I'm still trying some things; I think I can improve it quite a bit more. | 16:37 |
| litghost | k | 16:38 |
| litghost | 1200 seconds for the 50T is approaching "good enough", the current lookahead code takes 1500 sec on the basys3 (1/5 50T) | 16:39 |
| litghost | If there are still some low hanging fruit to bring the time on the 50T lower, that will improve iteration time, but once we are in the "get a coffee" time frame, quality of the lookahead starts to become more important | 16:40 |
| litghost | The current overall goal should be "full 50T on CI completing in ~2 hrs", so once we are at or better than the current basys3 lookahead time, the time to route murax/picosoc on that lookahead becomes the more dominate concern | 16:42 |
| *** OmniMancer has quit IRC | 17:19 | |
| litghost | mkurc: The iterate_xml function is super useful, thanks! | 18:13 |
| mithro | tmichalak / litghost: I commented on your INTERNAL_VREF stuff and proposed the different solution | 18:20 |
| litghost | mithro: Ya that solution doesn't work at all :/ | 18:20 |
| mithro | litghost: Why? | 18:21 |
| litghost | banks have no BELs | 18:21 |
| litghost | So there is nothing to attach the parameter too | 18:21 |
| mithro | litghost: So create one? | 18:21 |
| litghost | bitstream configuration is a similiar one | 18:21 |
| litghost | Why would we intentionally break backwards compability with vendor tools? | 18:22 |
| mithro | Nothing stops us from creating new bels? | 18:22 |
| litghost | Sure, but that would mean Verilog would only work on our tools, which seems undesirable | 18:23 |
| mithro | litghost: The idea would be that Yosys parses the xdc / sdc file and creates the bels as needed? | 18:24 |
| litghost | Ya, that is a really bad idea, because it means we are adding things to VPR that it never uses. What is the justification for doing such a thing? | 18:25 |
| mithro | litghost: What do you mean it never uses? | 18:25 |
| litghost | The reason no BEL exists for a bank is it doesn't get any routing | 18:26 |
| litghost | Think about a BEL that might represent/hold bitstream configuration | 18:26 |
| litghost | That BEL would have no input and no output | 18:26 |
| litghost | just parameters | 18:26 |
| litghost | Both yosys and VPR would attempt to prune such a thing | 18:27 |
| litghost | So we would need to make extra effort just to keep the BEL through the flow | 18:27 |
| mithro | The IO tiles are part of an IO bank, right? | 18:27 |
| litghost | This seems like a really really bad idea | 18:27 |
| litghost | No | 18:27 |
| litghost | Not really | 18:27 |
| litghost | The connection between IO and banks is invisible to the router | 18:27 |
| mithro | How are banks and io tiles related? | 18:27 |
| litghost | It only exists in the hardware itself | 18:27 |
| litghost | IO tiles belong to a bank, but from a pack/place/route perspective they are unrelated | 18:28 |
| mithro | If I try to pack two IO objects into a single bank which have different VREF requirements, it should fail, right? | 18:29 |
| litghost | Ya, but that isn't something to enforce in VPR | 18:29 |
| litghost | We eventually will need the idea of a DRC, which is where that check belongs | 18:29 |
| mithro | Why not? If we could get better DDR performance by swapping the byte pins, that seems like something the placer should be allowed to do? | 18:30 |
| litghost | For DCI reasons (which is also bankish), I believe the general design constraint is to port related pins like that in the same IO bank at PCB layout time | 18:31 |
| litghost | It isn't something that is solve in P&R | 18:31 |
| litghost | Consider https://www.xilinx.com/support/answers/38913.html | 18:33 |
| tpb | Title: AR# 38913: DCI Cascading - Can there be more than one master bank in a column? (at www.xilinx.com) | 18:33 |
| mithro | litghost: There are many cases where you can swap pins and it has no effect on the hardware side of things. | 18:33 |
| litghost | Bank compatiblity and selection is not something that is solved for, it is specified | 18:34 |
| litghost | e.g. you knew that pins x/y/z all required VREF x (not VREF y), so you put them in banks together | 18:34 |
| litghost | If you mess this up, the PCB is useless | 18:34 |
| litghost | Keep in mind that VREF requirements are a function of IOSTANDARD | 18:35 |
| litghost | What circumstances would IOSTANDARD be anything other than a constraint from the PCB, rather than a free variable | 18:35 |
| mithro | https://docs.google.com/spreadsheets/d/1EHnhNFluYtVoYVDuDl96gmR-up7gpa-9sl_5wIVrOAI/edit#gid=0 | 18:37 |
| tpb | Title: Artix-7 FGG484 DDR Planning - Google Sheets (at docs.google.com) | 18:37 |
| litghost | But would moving the pin functions every change the IOSTANDARD / VREF? | 18:38 |
| litghost | ever* | 18:38 |
| mithro | litghost: https://usercontent.irccloud-cdn.com/file/W5mQHonb/image.png | 18:39 |
| litghost | That's not what I asked | 18:40 |
| litghost | Even if two pins can swap functionality from a DDR, does the IOSTANDARD / VREF change? | 18:40 |
| litghost | My point is, even if we wanted to swap pins from a DDR (or other) functionality standpoint, IOSTANDARD and VREF are not generally free variables, and are rather fixed by the PCB itself. Given that they are fixed, why have them present in the EDA tools at all if no choices are to be made? | 18:48 |
| mithro | litghost: I /think/ the question you are actually asking is -- If I have a set of pins which have a compatible set of IOSTANDARD / VREF configurations, is there ever a scenario where swapping the pins around would result in an incompatible set of IOSTANDARD / VREF configurations? | 18:48 |
| mithro | litghost: The reason they should be presented in the EDA tools is so they can check your design is compatible with the PCB itself | 18:49 |
| litghost | Ya, but neither Yosys nor VPR should be checking them. They are ill suited to it | 18:49 |
| mithro | litghost: so in verilog you can do `(* IOSTANDARD = "value" *)` on a port to set the iostandard **or** you can do a `set_property IOSTANDARD <value> [get_ports <port>]` | 18:52 |
| mithro | / Specifies a “HIGH” voltage for the VCCAUX_IO rail connected to this I/O | 18:53 |
| mithro | (* VCCAUX_IO = "HIGH" *) input ACT3, | 18:53 |
| mithro | Looking through https://www.xilinx.com/support/documentation/sw_manuals/xilinx2012_2/ug912-vivado-properties.pdf -- about the only thing which doesn't seem to have a way to be set via Verilog parameters is the `INTERNAL_VREF` | 18:54 |
| litghost | I don't believe any of the bitstream parameters have vivado properties | 19:07 |
| mithro | litghost: Looks like vivado calls these "configuration constraints" in https://www.xilinx.com/support/documentation/sw_manuals/xilinx2012_2/ug903-vivado-using-constraints.pdf | 19:15 |
| mithro | BITSTREAM.GENERAL.DEBUGBITSTREAM | 19:17 |
| mithro | BITSTREAM.GENERAL.CRC | 19:17 |
| mithro | litghost: it seems a bit weird that INTERNAL_VREF is included in the I/O Constraints section when you seem to be right and it is a whole design thing? | 19:19 |
| litghost | litghost: It is a per bank setting | 19:19 |
| mithro | litghost: BTW There is a place and route mode were you let the IO pins locations be unconstrained and let PnR pick good choices which you then send to the PCB designer to make a reality... | 19:20 |
| litghost | mithro: But in that case you don't care about generating a bitstream | 19:22 |
| mithro | litghost: The pins you can use in an IO bank are restricted by if you have INTERNAL_VREF set right? It gives you one more free pin? | 19:23 |
| *** kuldeep has joined #symbiflow | 19:23 | |
| litghost | IO compability requirements are listed in "Rules for Combining I/O Standards in the Same Bank" in "7 Series FPGAs SelectIO Resources User Guide" | 19:25 |
| litghost | Some IOSTANDARD's do not require a VREF at all | 19:26 |
| mithro | litghost: Actually -- isn't it actually a property of that individual IO tile? IE If you use the IO tile as a VREF? | 19:27 |
| mithro | VREF - Single-ended I/O standards with a differential input buffer require an input reference voltage (VREF). When VREF is required within an I/O bank, the two multi-function VREF pins for the bank must be used as VREF supply inputs. | 19:27 |
| litghost | Sorry, maybe we are getting our wires crossed | 19:29 |
| litghost | Each IO bank has an INTERNAL_VREF | 19:29 |
| litghost | It is bank wide, and optional | 19:29 |
| litghost | For IOSTANDARD's that require a Vref, you can either have the Vref come in via a pin, or use the internal VREF | 19:30 |
| litghost | That configuration is what https://docs.google.com/document/d/1iQTNFPo0aVhXSqziD_nQEjSyCO1HHaqE_pAGN4eH9Gg is all about | 19:30 |
| tpb | Title: Google Docs - create and edit documents online, for free. (at docs.google.com) | 19:30 |
| litghost | From an IOSTANDARD compability standpoint, two IO standards with different Vref requirements cannot be placed in the same bank | 19:31 |
| litghost | This is rule number 2 in "Rules for Combining I/O Standards in the Same Bank" | 19:31 |
| litghost | " Input standards with the same VCCO and VREF requirements can be combined in the same bank." | 19:31 |
| mithro | litghost: https://docs.google.com/drawings/d/1rVm5A03cyU4bCCSmGFA3Awq1AX7r3Ax8AJGz51_aJ6U/edit | 19:41 |
| tpb | Title: Google Drawings - create diagrams and charts, for free. (at docs.google.com) | 19:41 |
| litghost | mithro: Pretty much | 19:42 |
| litghost | mithro: But VPR doesn't have a way to enforce that the VREF's match the IOSTANDARD | 19:42 |
| litghost | mithro: There is a upcoming idea in VPR about placement constraints | 19:44 |
| litghost | mithro: I don't know a lot about them | 19:44 |
| litghost | https://github.com/verilog-to-routing/vtr-verilog-to-routing/issues/932 | 19:45 |
| tpb | Title: Add Placement Constraints to VPR · Issue #932 · verilog-to-routing/vtr-verilog-to-routing · GitHub (at github.com) | 19:45 |
| litghost | One thing on your diagram, I believe the choice is between a VREF pin and the internal VREF at various voltages | 19:47 |
| litghost | I don't believe a bank have more than 1 VREF pin choice? | 19:47 |
| litghost | hackerfoo/duck2: https://github.com/verilog-to-routing/vtr-verilog-to-routing/pull/989#event-2745291376 was merged upstream. I'll be rebasing https://github.com/SymbiFlow/vtr-verilog-to-routing/tree/connection_box_serdes_merge_squashed and https://github.com/SymbiFlow/vtr-verilog-to-routing/tree/wip/lookahead_sampling | 19:51 |
| tpb | Title: Initial place matrix serialization/deserialization support. by litghost · Pull Request #989 · verilog-to-routing/vtr-verilog-to-routing · GitHub (at github.com) | 19:51 |
| mithro | litghost: it seemed some banks have two options for a vref in pin, but I'm not confident - but it doesn't really dramatically change the diagram? | 20:08 |
| litghost | mithro: I'm more thinking about bitstream configuration. If there are two VREF's per bank, then that means we are missing some bitstream bits | 20:09 |
| litghost | mithro: I do agree it doesn't change the diagram | 20:09 |
| litghost | hackerfoo/duck2: I was able to cleanly rebase onto the new connection_box_serdes_merged_squashed with: | 20:13 |
| litghost | "git rebase --onto connection_box_serdes_merge_squashed upstream/connection_box_serdes_merge_squashed wip/lookahead_sampling" | 20:13 |
| litghost | Make that: | 20:14 |
| litghost | git rebase --onto a56cb11fbff1eadac737f4a6edce341af333c1a6 a81d5eab19f179767210096f4441f22e1a5cff32 wip/lookahead_sampling | 20:14 |
| litghost | Because your branch labels may be different than me | 20:14 |
| litghost | hackerfoo/duck2/acomodi: WIP branches that were affected (changed/closed) by upstream merges have been resolved. | 20:23 |
| mithro | litghost: See IO Bank X I added to https://docs.google.com/drawings/d/1rVm5A03cyU4bCCSmGFA3Awq1AX7r3Ax8AJGz51_aJ6U/edit | 21:09 |
| tpb | Title: Google Drawings - create diagrams and charts, for free. (at docs.google.com) | 21:09 |
| litghost | mithro: Sorry, what are your trying to show and/or do? | 21:10 |
| litghost | mithro: I'm now confused | 21:10 |
| mithro | litghost: VREF is a net which is produced by a special IO Tile. There are wires run connect the VREF from the special IO Tile to all IO tiles in a bank. An IO tile may or may not use the VREF net based on the IO configuration. The VREF net may be source from either -- the special internal VREF black box, or the IPIN. | 21:16 |
| litghost | mithro: But that doesn't remotely help enforce that VREF's must be consistent | 21:16 |
| litghost | VPR (and the router) don't care about what is on VREF itself | 21:17 |
| litghost | It's just a net | 21:17 |
| litghost | the requirement is that the VREF's match the IOSTANDARD, that's not something the router can do | 21:17 |
| mithro | But you can't assign both the VREF_1V2 and VREF_3V3 nets to the Internal VREF black box? | 21:19 |
| litghost | How does the packer know which VREF to use? You would need to explode the number of modes and root level pins on the IOPAD | 21:20 |
| mithro | I think there is a confusion in terminology here... | 21:23 |
| litghost | I agree? | 21:23 |
| litghost | Ah, you want to try to put the INTERNAL_VREF in an IO tile | 21:27 |
| litghost | Won't work | 21:27 |
| litghost | mithro: That approach doesn't work for a couple reason | 21:33 |
| mithro | I added a bunch of extra text | 21:33 |
| litghost | mithro: If you need two IO banks, and are using two external VREFs, then the net layout is a function of placement | 21:33 |
| litghost | mithro: Two external VREFs of the same voltage * | 21:34 |
| mithro | litghost: The issue being that placement doesn't know that certain placements will end up with impossible routing situations? | 21:35 |
| litghost | mithro: That, and you don't actually achieve the desired flexiblity, because once the placer understands the impossible routing, you are effectively limiting IO placement based on how you define your VREF net | 21:36 |
| mithro | That is why VREF is a "IO placement constraint"? | 21:36 |
| litghost | The placement constraints in https://github.com/verilog-to-routing/vtr-verilog-to-routing/issues/932 seem like a better answer than trying to leverage the router | 21:36 |
| tpb | Title: Add Placement Constraints to VPR · Issue #932 · verilog-to-routing/vtr-verilog-to-routing · GitHub (at github.com) | 21:36 |
| litghost | Agreed? | 21:37 |
| litghost | But net's have nothing to do with it | 21:37 |
| litghost | I don't think you can easily express the underlying constraint in terms of a routing problem | 21:37 |
| mithro | As the constraints come from what you can /actually/ route in hardware I don't think that is true? | 21:38 |
| litghost | That is incorrect | 21:38 |
| litghost | If you have two IO banks that share the same voltage (but potentially different VREF sources), the constraint cannot be net orientied | 21:38 |
| mithro | litghost: You are configuring the IO voltage supplied to the top of the IO buffer transistors | 21:39 |
| litghost | But the placement problem is only a function of "can this IOSTANDARD be placed in this bank without conflict" | 21:39 |
| litghost | the IO placement problem* | 21:39 |
| litghost | You are conflating how we configure the hardware, with what the placer/router are doing | 21:40 |
| mithro | litghost: Which in the hardware is directly related to how you can route the voltage supply to the IO buffers | 21:40 |
| litghost | mithro: Incorrect | 21:40 |
| mithro | litghost: Explain why that is incorrect | 21:40 |
| litghost | mithro: For example, if every INTERNAL_VREF in the chip is the same, there is no routing problem at all | 21:41 |
| mithro | litghost: Voltage can't magically appear at the IO buffer | 21:41 |
| litghost | mithro: All IO pads are legal | 21:41 |
| litghost | mithro: As as second example, if you require 2 different VREF's, but you need to split it among more than 1 bank each, that is a different problem | 21:42 |
| litghost | mithro: But it isn't expressed as a per bank problem | 21:42 |
| litghost | mithro: It is a per VREF problem | 21:42 |
| mithro | litghost: You can't supply both a 3V3 voltage and a 1V2 voltage to the top of the IO buffers in the same bank -- this is because of how internally inside the hardware the voltage supplies are routed to the IO buffers | 21:43 |
| litghost | mithro: Correct. But if you have 2 banks at 3V3 and 2 banks at 1V2, it is legal to move the buffers within each bank of that voltage | 21:44 |
| mithro | litghost: That is the same as GND or VCC though? | 21:45 |
| litghost | mithro: That could be leveraged to work for INTERNAL_VREF, but not if the user has any external VREF's | 21:46 |
| litghost | mithro: Compability between external VREF's would be need to supplied somehow | 21:46 |
| litghost | mithro: Also we'd still have the placer not understanding valid placements | 21:49 |
| litghost | mithro: So the router could be handed an invalid placement that is impossible to route, and it would manifest as an overused rr node | 21:49 |
| litghost | mithro: Less than ideal | 21:49 |
| mithro | Okay, I'm starting to buy your argument... | 21:51 |
| litghost | mithro: This is not to say we should not teach VPR's placer about IO bank compability | 21:53 |
| litghost | mithro: And we could potentially optionally derive the INTERNAL_VREF from the IOSTANDARD's as placed | 21:54 |
| mithro | BTW Do you set INTERNAL_VREF to an actual voltage level? | 21:54 |
| litghost | mithro: Yes | 21:54 |
| litghost | mithro: It has 4 settings I believe? | 21:54 |
| litghost | hackerfoo: How goes the lookahead on your end? | 21:56 |
| mithro | litghost: are there any more "whole bank parameters" other than vref? | 22:00 |
| litghost | mithro: Not to my immediate knowledge | 22:01 |
| litghost | mithro: VCCAUX_IO is bank wide, but can be set via Verilog as you said | 22:01 |
| litghost | mithro: There are bitstream wide parameters | 22:01 |
| litghost | e.g. BITSTREAM.GENERAL.DEBUGBITSTREAM | 22:01 |
| litghost | Some of them show in the bitstream itself, some don't | 22:02 |
| mithro | litghost: The big reason I think Yosys should be doing the constraint parsing is that only Yosys really has access to the same net names that a user knows / understand -- as things get optimized the netnames bare less and less connection to the Verilog the user wrote | 23:05 |
| litghost | mithro: But the parsing of xdc/sdc has nothing to do with understanding nets? | 23:06 |
| mithro | litghost: Most of the xdc/sdc constraints are "placed" on nets / ports / blocks | 23:07 |
| mithro | `set_property SLEW FAST [get_ports ddram_dm[0]]` | 23:07 |
| litghost | But those are top-level nets, and they don't get munged? | 23:07 |
| mithro | `set_io clk E3` | 23:07 |
| litghost | So I agree that ports and nets are present, but those names flow out of yosys, so there is nothing in particular that yosys needs to transform on the IO specific stuff | 23:09 |
| litghost | Clocks/set_false_path is a totally different story | 23:09 |
| mithro | Most IO constraints get applied to things like top level nets -- but things like timing and bel placement constraints are much more likely to be applied to things further inside the design. When you start getting into things like core generators which are connected to top level ports "through" a users top level things get even more complicated | 23:09 |
| litghost | Ya, core generators do get fuzzy | 23:09 |
| mithro | Like the MCB sets a whole bunch of properties on the ports of the memory core | 23:13 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!
