| *** tpb has joined #yosys | 00:00 | |
| *** AlexDaniel has quit IRC | 00:10 | |
| *** fouric has joined #yosys | 00:27 | |
| *** gnufan has quit IRC | 01:04 | |
| *** proteusguy has quit IRC | 01:07 | |
| *** gnufan has joined #yosys | 01:12 | |
| ZipCPU | xerpi: The github issue has been closed, although I haven't tried the updated version myself (yet) | 01:20 |
|---|---|---|
| ZipCPU | mithro: I didn't get your comment on the issue tracker. Care to explain what's so awesome about ABC moving? | 01:20 |
| *** promach2 has quit IRC | 01:21 | |
| cr1901_modern | ZipCPU: It means I don't have to deal with Mercurial anymore :) | 01:37 |
| ZipCPU | Ahh ... okay. That wasn't clear from your post ... :) | 01:38 |
| cr1901_modern | ZipCPU: My personal opinion does not necessarily reflect mithro's :) | 01:38 |
| ZipCPU | Ahm ... okay ... Sorry. | 01:39 |
| * cr1901_modern told a bad joke :( | 01:39 | |
| ZipCPU | Well ... not that so much as ... you've left me confused. | 01:40 |
| ZipCPU | When you answered for mithro, I assumed that cr1901_modern and mithro were two pseudoname's for the same person, so I responded as such | 01:40 |
| ZipCPU | No I feel embarrassed for having made a mistake | 01:41 |
| cr1901_modern | Nah, I am not mithro :). Tim's Australian, I'm... well, from NJ | 01:41 |
| ZipCPU | Ah, ok | 01:42 |
| ZipCPU | I guess I was just confused. | 01:42 |
| ZipCPU | It's nearly nighttime in here on the East coast, so ... I'm doing my vesper's and thinking about testing a SPI flash simulator before bed ... | 01:43 |
| cr1901_modern | What is a vesper? | 01:43 |
| * ZipCPU checks the dictionary ... | 01:44 | |
| ZipCPU | Vesper: evening prayers | 01:44 |
| cr1901_modern | Ahhh I see | 01:45 |
| *** AlexDaniel has joined #yosys | 02:22 | |
| *** heath has joined #yosys | 02:36 | |
| *** digshadow has quit IRC | 02:57 | |
| *** AlexDaniel has quit IRC | 03:41 | |
| *** digshadow has joined #yosys | 03:44 | |
| promach | Just for curiousity, what do you guys think about https://i.imgur.com/JDrAIL0.png ? | 04:12 |
| *** emeb has quit IRC | 04:36 | |
| *** seldridge has quit IRC | 04:53 | |
| *** cemerick has quit IRC | 05:00 | |
| *** seldridge has joined #yosys | 05:27 | |
| *** pie_ has quit IRC | 05:30 | |
| *** pie_ has joined #yosys | 06:06 | |
| *** seldridge has quit IRC | 06:29 | |
| *** seldridge has joined #yosys | 06:31 | |
| *** dys has quit IRC | 06:31 | |
| *** seldridge has quit IRC | 06:59 | |
| *** pie_ has quit IRC | 07:28 | |
| *** xerpi has joined #yosys | 07:34 | |
| *** _whitelogger has quit IRC | 07:40 | |
| xerpi | clifford, thanks for the fast fixes! | 07:41 |
| *** _whitelogger has joined #yosys | 07:42 | |
| *** X-Scale has quit IRC | 08:12 | |
| *** GuzTech has joined #yosys | 08:18 | |
| *** promach has quit IRC | 08:23 | |
| *** X-Scale has joined #yosys | 08:25 | |
| *** promach has joined #yosys | 08:40 | |
| *** proteusguy has joined #yosys | 08:52 | |
| *** pie_ has joined #yosys | 10:00 | |
| *** leviathan has joined #yosys | 10:39 | |
| *** pie_ has quit IRC | 10:41 | |
| *** leviathan has quit IRC | 10:43 | |
| *** leviathan has joined #yosys | 10:44 | |
| *** eduardo_ has joined #yosys | 11:08 | |
| *** xerpi has quit IRC | 11:09 | |
| *** eduardo__ has quit IRC | 11:11 | |
| *** cemerick has joined #yosys | 12:11 | |
| *** cemerick has quit IRC | 12:18 | |
| *** AlexDaniel has joined #yosys | 12:28 | |
| *** xerpi has joined #yosys | 13:25 | |
| *** ralu has quit IRC | 13:38 | |
| *** ralu has joined #yosys | 13:41 | |
| *** kerel has quit IRC | 14:10 | |
| *** xerpi has quit IRC | 14:16 | |
| *** kerel has joined #yosys | 14:27 | |
| *** promach2 has joined #yosys | 14:29 | |
| *** seldridge has joined #yosys | 15:10 | |
| * shapr hops quietly | 15:10 | |
| * ZipCPU wonders if shapr likes "hip hop" | 15:15 | |
| shapr | well, I like hop | 15:15 |
| shapr | howdy ZipCPU! How you doin? | 15:15 |
| ZipCPU | Frustrated. | 15:15 |
| ZipCPU | I spent all yesterday trying to figure out how to reconfigure a Cyclone-V FPGA. | 15:16 |
| shapr | that does sound frustrating | 15:16 |
| ZipCPU | The interface that's well documented no longer exists, and Linux doesn't like my attempts at building device tree overlays | 15:16 |
| ZipCPU | (I've never built them before, so ... this is a new thing for me as well.) | 15:16 |
| shapr | new things are good | 15:17 |
| ZipCPU | While device tree overlays are the wave of the future for reconfiguring FPGA's without taking the O/S down, Linux didn't accept any of my attempts. As a result, I'm fruitless searching the Linux kernel for clues as to what I'm doing wrong. | 15:17 |
| *** proteusguy has quit IRC | 15:17 | |
| shapr | sadly, I know nothing about that | 15:18 |
| ZipCPU | Lol ... yeah, that's my problem: neither do I :P | 15:18 |
| shapr | did you ask on twitter? | 15:18 |
| shapr | lots of FPGA people connected to you | 15:18 |
| shapr | that's what I do when I'm stuck on a problem | 15:19 |
| ZipCPU | No. I complained on twitter. | 15:19 |
| shapr | I got a good answer when asking whether murmurhash3 or siphash was better for a bloom filter. | 15:19 |
| daveshah | Must say it's a lot easier on a Zynq, you just `cat` the new bitstream into a device node | 15:20 |
| ZipCPU | You mean like, cat configuration.bin > /dev/fpga0 ? | 15:20 |
| ZipCPU | That interface has been deprecated in the Linux kernel, and that's part of what I'm struggling with. | 15:20 |
| awygle | DTOs are awesome but they're pretty new, do you have a recent kernel? 4.x? | 15:20 |
| daveshah | Yes, that's how I did it when I was doing Zynq stuff. Didn't know it had been deprecated. Have always found device tree stuff a bit of a pain tbh | 15:21 |
| shapr | what's better about the device tree? | 15:22 |
| ZipCPU | Well ... the idea is that the device tree captures some of the dependencies required by loading | 15:25 |
| ZipCPU | For the Cyclone-V part, you need to turn off the bus "bridges" to the FPGA before you can reload the configuration | 15:25 |
| ZipCPU | And the device tree is supposed to help encapsulate that process | 15:25 |
| awygle | device trees are a great idea - describe the PCB to the kernel so it knows what's physically attached - but yes the implementation is a bit hair-pulling | 15:26 |
| ZipCPU | Especially when it's not well documented. | 15:26 |
| shapr | oh, the tree describes what devices are attached to what? | 15:26 |
| ZipCPU | So, a bit of history ... | 15:27 |
| awygle | i find that Beaglebone has the best documentation for this kind of thing, or did ~1yr ago | 15:27 |
| ZipCPU | Device trees were invented primarily because of ARM. ARM was selling a CPU in terms of IP, and every chip maker was adding their own devices to it | 15:27 |
| ZipCPU | To deal with this, Linus invented the device tree--something that tells Linux what devices are available to it and where they are found in the memory map | 15:27 |
| daveshah | In general my problem hasn't been the device tree system itself, but the vendor documentation for it | 15:27 |
| daveshah | I agree in theory it is a good idea | 15:28 |
| ZipCPU | daveshah: What, you've struggled with this as well? | 15:28 |
| shapr | ZipCPU: sounds good so far | 15:28 |
| daveshah | Various previous projects, mostly doing slightly weird stuff on a Zynq | 15:28 |
| q3k | and before DT we had ARM machine/board IDs | 15:28 |
| q3k | *shudder* | 15:28 |
| awygle | device trees would be easier to use if they were attached to better subsystems.... ;) | 15:28 |
| daveshah | I remember a project I did with the iMX233 using 2.6 | 15:28 |
| ZipCPU | shapr: So, the next step was a "device tree overlay". This was supposed to support hardware reconfiguration | 15:28 |
| daveshah | With a hardcoded C file doing init | 15:28 |
| awygle | i tried to do GPIO stuff recently, that got _complicated_ | 15:28 |
| ZipCPU | With a device tree overlay, you can "add hardware" to running Linux system, and keep the kernel informed of what's there. | 15:29 |
| shapr | sounds useful? | 15:29 |
| q3k | daveshah: did that for some OMAPs, that was, uh, fun | 15:29 |
| ZipCPU | shapr: However, the overlay must match the current kernel in enough detail in order to be understood. That's where I seem to be failing. | 15:29 |
| q3k | and then there's some vendors (*cough* allwinner *cough*) that ship their own clone of DT because why not | 15:30 |
| q3k | https://linux-sunxi.org/Script.bin | 15:30 |
| *** proteusguy has joined #yosys | 15:31 | |
| *** GuzTech has quit IRC | 15:54 | |
| mjo-uk_ | I think it's the case that not all device tree subsystems support loading stuff dynamically. I hit this problem about a year ago trying to reconfigure the LED subsystem on a Raspberry Pi. So it works if you load it at boot but you can't unload it and load it again on a live system. | 15:58 |
| ZipCPU | mjo-uk_: Thanks for the insight. This might be my problem. | 16:01 |
| mjo-uk_ | ZipCPU: A pleasure. By the way, I've really enjoyed reading your many fine articles about FPGA design. Thank you so much for posting them. | 16:01 |
| ZipCPU | Thank you! | 16:02 |
| *** promach2 has quit IRC | 16:31 | |
| *** emeb has joined #yosys | 16:40 | |
| mattvenn | just continuing on this DTO thread, recent beaglebone stuff has done away with the dynamic loading of overlays | 16:59 |
| mattvenn | it's never worked properly - have to set it up at boot | 16:59 |
| mattvenn | there are some very useful people on the #beagle channel | 16:59 |
| *** sklv has quit IRC | 17:06 | |
| *** sklv has joined #yosys | 17:06 | |
| *** janrinze has joined #yosys | 17:22 | |
| janrinze | hi people here | 17:23 |
| sorear | hi | 17:24 |
| janrinze | are there people here who are willing to teach me some tricks on timing analysys? | 17:24 |
| janrinze | hi sorear | 17:24 |
| awygle | janrinze: unless you are specifically talking about "icetime", i suspect this will not be the most productive channel for you, you may wish to try ##fpga | 17:30 |
| janrinze | icetime indeed | 17:30 |
| janrinze | I'm not yet familiar with what it can do for me to find slowest path and such | 17:31 |
| janrinze | 36.556 ns .. 37.145 ns $abc$54082$n2094_1 | 17:35 |
| janrinze | 37.461 ns .. 38.050 ns $abc$54082$n2085_1 | 17:35 |
| janrinze | 38.450 ns .. 40.729 ns $abc$54082$n2147_1 | 17:35 |
| janrinze | 41.108 ns .. 44.657 ns $abc$54082$n3465_1 | 17:35 |
| janrinze | this kind of feedback is hard to trace back to something in the verilog. | 17:35 |
| *** cemerick has joined #yosys | 17:36 | |
| awygle | ah, yes. that's a known problem with abc eating net names... | 17:41 |
| awygle | one moment, i have something for you to try... | 17:41 |
| awygle | so there's an ABC command called "dress" which supposedly can recover some net names | 17:43 |
| awygle | i'm not entirely sure how to use it but it looks like you need a pre-synthesis netlist for comparison | 17:45 |
| awygle | so i guess you'd give "abc dress" your pre-synthesis and post-par netlists, it would recover names in the post-par list, then you'd run icetime on that? | 17:45 |
| janrinze | just add 'dress' to abc? (I use abc2) | 17:46 |
| janrinze | yosys -p 'synth_ice40 -abc2 -top top -blif $@' $< | 17:48 |
| janrinze | should become | 17:48 |
| janrinze | yosys -p 'synth_ice40 -abc2 dress -top top -blif $@' $< | 17:48 |
| janrinze | is that correct? | 17:48 |
| janrinze | I was assuming there should be some kind of config for abc that I need to change | 17:48 |
| awygle | i think you might need to call dress from abc directly rather than through yosys, but i'm not sure | 17:51 |
| janrinze | the documentation is not quite clear on how to add abc flags in yosys | 17:52 |
| awygle | i have not actually tried the dress command so you'd be charting new territory :) you might get better names out of icetime if you pass -noabc instead of -abc2, but you'll get worse results as well, so probably not helpful if you're trying to figure out why you're not meeting timing | 17:53 |
| janrinze | yes.. abc2 yields best result for my design. switching that off surely will generate a lot worse timings, i agree | 17:54 |
| janrinze | synth_ice40 seems to be a reference to a script but i cannot find it. it is probably compiled-in in yosys. | 17:57 |
| awygle | http://www.clifford.at/yosys/cmd_synth_ice40.html | 17:58 |
| tpb | Title: Yosys Open SYnthesis Suite :: Command Reference :: synth_ice40 (at www.clifford.at) | 17:59 |
| janrinze | that is exactly the page i am looking through. | 17:59 |
| awygle | it's basically just a shortcut for a bunch of other commands | 17:59 |
| awygle | rqou: did you actually try "dress"? | 18:00 |
| awygle | rqou: slash, do you know any other tricks to help janrinze? | 18:00 |
| janrinze | ERROR: Command syntax error: Unexpected option in selection arguments. | 18:01 |
| janrinze | i copied the commands from the documentation and put them into a script for yosys. Unchanged it works okay. | 18:28 |
| janrinze | when i add 'dress' to abc , yosys still works but arachne-pnr is not happy anymore.. | 18:29 |
| janrinze | fatal error: invalid .names entry: both gates must be 1 here | 18:29 |
| *** pie_ has joined #yosys | 18:37 | |
| *** AlexDaniel has quit IRC | 19:22 | |
| *** ZipCPU has quit IRC | 19:28 | |
| *** AlexDaniel has joined #yosys | 19:31 | |
| *** seldridge has quit IRC | 20:07 | |
| *** ZipCPU|Alt has joined #yosys | 20:21 | |
| *** ZipCPU has joined #yosys | 20:22 | |
| *** ZipCPU|Alt has quit IRC | 20:23 | |
| *** ZipCPU|Alt has joined #yosys | 20:24 | |
| *** seldridge has joined #yosys | 20:26 | |
| *** proteus-guy has quit IRC | 20:28 | |
| *** xerpi has joined #yosys | 20:30 | |
| *** AlexDaniel has quit IRC | 20:48 | |
| *** AlexDaniel has joined #yosys | 20:57 | |
| *** digshadow has quit IRC | 20:58 | |
| *** leviathan has quit IRC | 21:01 | |
| *** cemerick has quit IRC | 21:08 | |
| *** xrexeon has joined #yosys | 21:08 | |
| *** digshadow has joined #yosys | 21:32 | |
| *** seldridge has quit IRC | 22:16 | |
| *** seldridge has joined #yosys | 22:33 | |
| *** xerpi has quit IRC | 22:36 | |
| *** m_w has joined #yosys | 23:19 | |
| *** AlexDaniel has quit IRC | 23:29 | |
| *** pie__ has joined #yosys | 23:37 | |
| *** pie_ has quit IRC | 23:38 | |
| *** proteusguy has quit IRC | 23:47 | |
| *** proteusguy has joined #yosys | 23:59 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!
