Wednesday, 2020-02-19

*** tpb has joined #symbiflow00:00
*** sdh23tr has quit IRC00:29
hackerfooIs there a way to use VPR to translate a capnproto rr_graph to XML?00:46
*** sdh23tr has joined #symbiflow00:47
litghostOf course00:49
litghostThe read/write arguments support both XML and capnp00:49
*** sdh23tr has quit IRC00:49
*** sdh23tr has joined #symbiflow00:50
*** sdh23tr_ has joined #symbiflow01:00
*** sdh23tr has quit IRC01:04
*** sdh23tr_ has quit IRC01:15
*** space_zealot has joined #symbiflow01:31
*** citypw_ has joined #symbiflow02:43
*** space_zealot has quit IRC03:14
*** space_zealot has joined #symbiflow03:20
*** space_zealot_000 has joined #symbiflow04:40
*** space_zealot has quit IRC04:44
*** space_zealot_000 has quit IRC04:48
*** OmniMancer has joined #symbiflow06:19
*** citypw_ has quit IRC06:47
*** citypw has joined #symbiflow06:50
*** az0re has joined #symbiflow07:12
*** Bertl_oO is now known as Bertl_zZ07:19
*** litghost has quit IRC08:36
*** bubble_buster has quit IRC08:36
*** futarisIRCcloud has quit IRC08:37
*** nickray has quit IRC08:37
*** daveshah has quit IRC08:37
*** bubble_buster has joined #symbiflow08:37
*** litghost has joined #symbiflow08:37
*** _florent_ has quit IRC08:37
*** futarisIRCcloud has joined #symbiflow08:39
*** daveshah has joined #symbiflow08:39
*** nickray has joined #symbiflow08:40
*** _florent_ has joined #symbiflow08:40
*** space_zealot has joined #symbiflow11:22
*** hzeller[m] has quit IRC11:52
*** abeljj[m] has quit IRC11:52
*** abeljj[m] has joined #symbiflow11:53
*** hzeller[m] has joined #symbiflow11:54
*** space_zealot_000 has joined #symbiflow12:02
*** space_zealot has quit IRC12:05
*** citypw has quit IRC12:27
*** space_zealot_000 has quit IRC12:34
*** citypw has joined #symbiflow12:35
*** space_zealot has joined #symbiflow13:36
*** OmniMancer has quit IRC13:42
*** alexhw_ has joined #symbiflow15:29
sf-slack<acomodi> Got the minilitex_ddr test to work at 100MHz15:36
*** alexhw has quit IRC15:51
*** Bertl_zZ is now known as Bertl16:28
*** citypw has quit IRC16:44
*** space_zealot has quit IRC16:55
*** space_zealot has joined #symbiflow16:56
litghostacomodi: Nice, what needed to be changed?17:02
litghostacomodi: Did vivado report timing closure?17:02
litghostacomodi: I assume you mean the design in https://github.com/SymbiFlow/symbiflow-arch-defs/pull/1320 ?17:03
tpbTitle: WIP: Add Base Litex minitest capable of running Linux on Vexriscv by tmichalak · Pull Request #1320 · SymbiFlow/symbiflow-arch-defs · GitHub (at github.com)17:03
sf-slack<acomodi> @litghost Exactly, so, by using the same clock for CLKB and CLK in ISERDESes seems to have solved the problem. There is to say though that both Vivado and VPR do report timing violations, but the design works on HW17:07
litghostacomodi: How large is the violation?  I expect a ~0.5 ns setup slack violation is fine, but a 2-4 ns setup violation or a 1-2 ns hold violation likely eats away most of the timing models margin17:09
sf-slack<acomodi> litghost: regarding VPR there is only a setup violation of -3.776 ns17:15
litghostacomodi: Yikes, that is pretty substantial.  Vivado will likely report an even large setup violation, I'd guess ~4 ns.  With a setup violation of that magnitude against a target CPD of 10 ns, I'd expect that bitstream to fail on a measureable number of parts17:18
sf-slack<acomodi> litghost: and a worst setup violation of -8.081 ns17:18
litghostacomodi: For now I recommend we leave the SDC at 50 MHz, and create an issue to track getting timing closure at 100 MHz for future work17:18
sf-slack<acomodi> litghost: the interesting part is that the implementation behaves as it should on HW17:18
sf-slack<acomodi> litghost: sure, I can revert to 50MHz17:19
litghostacomodi: Of course.  The timing model is typically very conservative so that it works on the full distribution of parts that come out of manufacturing.  However if you were to deploy that same bitstream over 100 to 1000 parts, I'd expect a non-trival number of them to fail17:19
litghostacomodi:  I don't have a good intuition on the histrogram of part quality.17:20
sf-slack<acomodi> litghost: makes sense. Well, once we get everything stable and merged, we can focus on further improve the timing model, as suggested17:21
*** space_zealot has quit IRC17:30
*** space_zealot has joined #symbiflow17:31
*** space_zealot has quit IRC17:57
*** space_zealot has joined #symbiflow17:57
*** adjtm has joined #symbiflow18:12
hackerfooThere are far too few assertions in VPR.18:25
litghosthackerfoo: VPR provides way to have varying levels of assertions, and the upstream maintainers will likely accept PR's to that affect18:26
hackerfooI found at least one bug in the serializer that requires ptcs to be ordered.18:27
hackerfooWe need fuzzing, too.18:28
litghosthackerfoo: I assume you are refering to something in https://github.com/SymbiFlow/vtr-verilog-to-routing/blob/master%2Bwip/vpr/src/route/rr_graph_uxsdcxx_serializer.h#L1700 ?18:33
tpbTitle: vtr-verilog-to-routing/rr_graph_uxsdcxx_serializer.h at master+wip · SymbiFlow/vtr-verilog-to-routing · GitHub (at github.com)18:33
hackerfoohttps://github.com/SymbiFlow/vtr-verilog-to-routing/blob/master%2Bwip/vpr/src/route/rr_graph_uxsdcxx_serializer.h#L1740-L175818:34
tpbTitle: vtr-verilog-to-routing/rr_graph_uxsdcxx_serializer.h at master+wip · SymbiFlow/vtr-verilog-to-routing · GitHub (at github.com)18:34
hackerfoopush_back18:34
hackerfooI should have a PR today or tomorrow.18:34
litghosthackerfoo: Ya that code is terrible, and has been terrible since forever18:35
hackerfooBut segment order also seems to be assumed, so I have to fix that.18:35
litghosthackerfoo: PTC's are poorly documented, and aren't used often either :/18:35
litghosthackerfoo: Segment order should be soley determined by the id attribute?18:36
litghosthackerfoo: When generated it is implicit, but the serializer should always be key'd on "id"18:36
hackerfooSomething's breaking the segment_map_ in connection_box_lookahead, at least.18:37
litghosthackerfoo: An inconsistent lookahead binary could have different segment definitions from the rrgraph segments.  But the rrgraph segments should be fixed once the virtual rr graph is generated18:39
litghosthackerfoo: And the crude caching system we have should detect a change in the input patched rrgraph, even segment definitions, and recompute the lookaheah18:39
hackerfooThanks. I'll look into that.18:41
*** phire has quit IRC18:49
*** phire has joined #symbiflow18:50
hackerfooRecomputing the segment map takes 0.01 seconds. I'm removing it from the lookahead bin file.19:04
litghostok19:07
*** benelson has joined #symbiflow19:29
*** az0re has quit IRC19:38
-_whitenotifier-3- [yosys-symbiflow-plugins] litghost opened issue #8: Assertion violation in XDC plugin - https://git.io/JvBR019:39
hackerfoolitghost: https://github.com/verilog-to-routing/vtr-verilog-to-routing/pull/116220:21
tpbTitle: Fix Serialization of ptcs by HackerFoo · Pull Request #1162 · verilog-to-routing/vtr-verilog-to-routing · GitHub (at github.com)20:21
hackerfoohttps://github.com/SymbiFlow/vtr-verilog-to-routing/pull/41220:55
tpbTitle: Remove cached segment map from connection map lookahead file. by HackerFoo · Pull Request #412 · SymbiFlow/vtr-verilog-to-routing · GitHub (at github.com)20:55
*** bjorkintosh has quit IRC21:32
*** bjorkintosh has joined #symbiflow21:32
*** space_zealot has quit IRC21:46
*** space_zealot has joined #symbiflow22:01
*** space_zealot has quit IRC22:35
-_whitenotifier-3- [prjxray] litghost opened issue #1248: Refactor xjson library - https://git.io/JvBaC23:13

Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!