Monday, 2020-02-24

*** tpb has joined #yosys00:00
*** vidbina has joined #yosys00:14
*** emeb has quit IRC01:02
*** RicBent has quit IRC02:15
*** emeb_mac has quit IRC02:18
*** peepsalot has joined #yosys02:21
*** vidbina has quit IRC02:36
*** rohitksingh has quit IRC03:30
*** citypw has joined #yosys03:31
*** rohitksingh has joined #yosys03:31
*** az0re has quit IRC06:27
sensilledaveshah: one intermediate result: if i don't use the uppermost bit of the ram, yosys doesn't infer block ram, with the same reason that the read clock is 'async' (which it is not)07:59
sensillethat insight doesn't help me with my full design, though (yet)07:59
*** jakobwenzel has joined #yosys08:15
*** dys has quit IRC08:16
sensilleok, i also found an assign to 0 for a lower layer output, which yosys did not complain about (or not enough). without that, i now get bram08:22
*** fsasm has joined #yosys08:29
*** m4ssi has joined #yosys08:31
*** dys has joined #yosys09:09
*** twnqx has joined #yosys09:14
*** peepsalot has quit IRC09:38
*** az0re has joined #yosys10:32
*** peepsalot has joined #yosys10:43
*** rohitksingh has quit IRC11:08
*** develonepi3 has joined #yosys12:13
ZirconiumXhttps://github.com/YosysHQ/yosys/blob/master/techlibs/common/simlib.v#L529 <--- the `^ (Y ^ Y)` term seems very wrong to me; doesn't that simplify out entirely?13:09
tpbTitle: yosys/simlib.v at master · YosysHQ/yosys · GitHub (at github.com)13:09
daveshahZirconiumX: not if Y contains 'x' bits13:11
ZirconiumXAh, x-propagation13:11
*** N2TOH has joined #yosys13:18
*** alexhw has joined #yosys14:07
*** twnqx has quit IRC14:25
*** X-Scale` has joined #yosys14:39
*** X-Scale has quit IRC14:41
*** X-Scale` is now known as X-Scale14:41
*** alexhw has quit IRC14:54
*** alexhw has joined #yosys14:58
*** twnqx has joined #yosys15:14
*** emeb has joined #yosys15:27
*** develonepi3 has quit IRC15:29
*** jakobwenzel has quit IRC15:47
*** fsasm has quit IRC16:12
*** X-Scale has quit IRC16:12
*** X-Scale` has joined #yosys16:14
*** X-Scale` is now known as X-Scale16:15
*** twnqx has quit IRC16:19
*** r_miller has joined #yosys16:32
r_millerCan anyone help me interpret this report from nextpnr? https://pastebin.com/Xx8BhZVU  Seems to be saying that resetn is assigned to a global buffer but taking 3.9ns to be routed a long way across the chip (5,2) -> (22,27). Is this right?16:36
tpbTitle: Info: Promoting globals.. Info: promoting $abc$55324$n71 [reset] (fanout 358) - Pastebin.com (at pastebin.com)16:36
*** citypw has quit IRC16:39
ZirconiumXr_miller: that's precisely *because* it's a global buffer, I'd imagine.16:54
ZirconiumXECP5 has GSR; if you don't care about portability use that instead of a power-on reset16:54
r_millerSorry should have said: this is ice40.16:55
ZirconiumXiCE40 has pretty slow routing16:55
ZirconiumXDepends on the chip family though; what's the exact chip you're targeting?16:55
r_millerHX8k16:56
ZirconiumXHmm. Let's ask daveshah16:56
ZirconiumXBy the way, r_miller, when was the last time you updated your Yosys?16:56
r_millerYesterday!16:56
daveshahThe problem is that iirc the globals are only used for real flop reset signals, to avoid unroutability issues when they are driving LUTs16:56
ZirconiumX...autoname isn't helping much, then16:57
daveshahand the path here seems to be a LUT input16:57
daveshahusing an active high reset to match the hardware might help16:57
r_millerI noticed it says 'cen' not 'reset' on the promotion message.16:57
daveshahIndeed, looks like it is being promoted as a clock enable rather than a reset16:58
r_millerI'm using it like "always @(posedge clk) if (~resetn) begin ... end"16:58
daveshahYou might have more success with `if (reset)`16:58
r_millerI've tried that too, but maybe I missed an instance somewhere?16:59
daveshahand if you are using a clock  enable too, reset needs to be gated by it (so `if (cen) begin if (reset) ... else ... end`)16:59
r_millerWould the routing be quicker if I convinced yosys/nextpnr to treat it as a reset?17:00
daveshahProbably not that much so17:00
daveshahfrom memory the global buffer adds about 1ns anyway17:01
daveshahand there is the routing to the global buffer input too17:01
r_millerIt's a delay generated internally by a counter, I guess I could have separate local ones instead of one global one.17:01
*** citypw has joined #yosys17:03
*** m4ssi has quit IRC17:11
*** dys has quit IRC17:38
*** sfs1926 has joined #yosys17:39
*** rohitksingh has joined #yosys17:48
*** vidbina has joined #yosys17:49
*** citypw has quit IRC17:59
*** twnqx has joined #yosys18:06
*** anticw has quit IRC18:07
*** vidbina has quit IRC18:17
*** Xiretza is now known as lambda18:19
*** vidbina has joined #yosys18:20
*** sfs1926 has quit IRC18:25
*** vidbina has quit IRC18:46
*** vidbina has joined #yosys18:47
*** dys has joined #yosys18:57
*** lambda_ has joined #yosys18:58
*** lambda has quit IRC18:58
*** lambda_ is now known as lambda18:59
*** sfs1926 has joined #yosys19:11
*** fsasm has joined #yosys19:17
*** rohitksingh has quit IRC19:20
*** rohitksingh has joined #yosys19:35
*** rohitksingh has quit IRC19:49
*** Jybz has joined #yosys20:33
*** kristianpaul has quit IRC20:38
*** kristianpaul has joined #yosys20:39
*** fsasm has quit IRC21:01
*** az0re has quit IRC21:02
*** Jybz has quit IRC21:13
*** vidbina has quit IRC21:16
*** vidbina has joined #yosys21:18
*** klotz has joined #yosys21:30
*** rohitksingh has joined #yosys21:42
*** vidbina has quit IRC21:59
*** az0re has joined #yosys22:05
*** rohitksingh has quit IRC22:48
*** r_miller has quit IRC23:10
*** sfs1926 has quit IRC23:10
*** vidbina has joined #yosys23:32
*** rohitksingh has joined #yosys23:58

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