| *** tpb has joined #yosys | 00:00 | |
| *** X-Scale has quit IRC | 00:20 | |
| *** X-Scale has joined #yosys | 00:29 | |
| *** emeb has quit IRC | 00:40 | |
| *** X-Scale has quit IRC | 01:10 | |
| *** X-Scale has joined #yosys | 01:23 | |
| *** tinyfpga has quit IRC | 01:50 | |
| *** digshadow has quit IRC | 02:15 | |
| *** leviathan has joined #yosys | 02:27 | |
| *** leviathan has quit IRC | 02:35 | |
| *** leviathan has joined #yosys | 02:35 | |
| *** digshadow has joined #yosys | 02:42 | |
| *** tinyfpga has joined #yosys | 02:43 | |
| *** digshadow has quit IRC | 03:11 | |
| *** digshadow has joined #yosys | 03:16 | |
| *** digshadow has quit IRC | 03:20 | |
| *** digshadow has joined #yosys | 03:20 | |
| *** oldtopman has joined #yosys | 03:25 | |
| *** m_w has quit IRC | 04:41 | |
| *** m_w has joined #yosys | 04:41 | |
| *** leviathan has quit IRC | 04:50 | |
| *** leviathanch has joined #yosys | 05:16 | |
| *** oldtopman has quit IRC | 05:49 | |
| *** leviathanch has quit IRC | 05:51 | |
| *** leviathan has joined #yosys | 05:54 | |
| *** cr1901_modern has quit IRC | 06:15 | |
| *** cr1901_modern has joined #yosys | 06:16 | |
| *** AlexDaniel has quit IRC | 06:18 | |
| *** proteusguy has quit IRC | 06:24 | |
| *** emeb_mac has quit IRC | 06:35 | |
| *** proteusguy has joined #yosys | 06:41 | |
| *** dys has joined #yosys | 06:50 | |
| *** promach_ has quit IRC | 08:07 | |
| *** promach_ has joined #yosys | 08:10 | |
| *** dmin7 has joined #yosys | 08:44 | |
| *** promach_ has quit IRC | 08:53 | |
| *** GuzTech has joined #yosys | 09:44 | |
| *** proteusguy has quit IRC | 09:55 | |
| *** proteusguy has joined #yosys | 10:11 | |
| *** pie_ has quit IRC | 10:40 | |
| *** cemerick_ has joined #yosys | 11:12 | |
| *** sklv has quit IRC | 11:44 | |
| *** sklv has joined #yosys | 11:44 | |
| *** indy has quit IRC | 11:44 | |
| *** indy has joined #yosys | 11:48 | |
| *** pie_ has joined #yosys | 11:55 | |
| *** SpaceCoaster has quit IRC | 12:31 | |
| *** promach_ has joined #yosys | 12:35 | |
| *** promach_ has quit IRC | 12:54 | |
| *** promach_ has joined #yosys | 12:59 | |
| *** cemerick_ has quit IRC | 13:02 | |
| *** indy has quit IRC | 14:51 | |
| *** indy has joined #yosys | 14:53 | |
| *** GuzTech has quit IRC | 15:02 | |
| *** seldridge has joined #yosys | 15:08 | |
| *** SpaceCoaster has joined #yosys | 15:18 | |
| *** SpaceCoaster has quit IRC | 15:25 | |
| *** SpaceCoaster has joined #yosys | 15:30 | |
| *** SpaceCoaster has quit IRC | 15:43 | |
| *** emeb has joined #yosys | 15:50 | |
| *** GuzTech has joined #yosys | 15:54 | |
| *** AlexDaniel has joined #yosys | 16:08 | |
| *** mazzoo has quit IRC | 16:20 | |
| *** dxld has quit IRC | 16:28 | |
| *** dxld has joined #yosys | 16:31 | |
| *** cemerick_ has joined #yosys | 16:59 | |
| *** leviathan has quit IRC | 17:45 | |
| *** SpaceCoaster has joined #yosys | 18:08 | |
| *** dys has quit IRC | 18:25 | |
| *** m_w has quit IRC | 18:43 | |
| *** dys has joined #yosys | 18:44 | |
| *** dys has quit IRC | 18:53 | |
| *** dys has joined #yosys | 18:56 | |
| shapr | does yosys already have support for both Artix-7 chips in bunnies' NeTV2? https://www.crowdsupply.com/alphamax/netv2 | 19:24 |
|---|---|---|
| tpb | Title: NeTV2 | Crowd Supply (at www.crowdsupply.com) | 19:24 |
| shapr | I should just check the source | 19:25 |
| shapr | after digging around in yosys/techlibs/xilinx/ , I still can't tell | 19:26 |
| shapr | but I think it's all Xilinx 7-series? so yes? | 19:27 |
| sorear | shapr: define support | 19:27 |
| shapr | so, not full support? | 19:28 |
| shapr | I dunno | 19:28 |
| daveshah | yes, yosys has synthesis support for the artix-7 | 19:28 |
| daveshah | there is no PnR yet | 19:28 |
| daveshah | but the bitstream format is documented in project X-ray | 19:28 |
| shapr | oh, I see | 19:30 |
| awygle | daveshah: there's no synth for the ecp5 yet, right? | 19:32 |
| daveshah | awygle: no, not yet | 19:32 |
| shapr | silly question, what's the percentage cost for each step in FPGA design? where would optimizations pay off the most? | 19:32 |
| daveshah | obviously on my todo list | 19:32 |
| awygle | sure | 19:32 |
| awygle | shapr: cost in terms of time? place+route, no question | 19:32 |
| shapr | ah, that's good to know | 19:32 |
| daveshah | awygle: feel free to take it on if you want | 19:33 |
| shapr | cause that's the part I want to work on anyway | 19:33 |
| awygle | well... "debugging". but that's slow because PnR is slow | 19:33 |
| daveshah | shapr: it's probably what needs work too | 19:33 |
| awygle | shapr: have you seen my list of papers on parallilizing it? | 19:33 |
| awygle | ... imagine i spelled that right | 19:33 |
| shapr | yeah, I'm trying not to dive too deeply into that list yet | 19:33 |
| shapr | cause I also have a day job | 19:33 |
| shapr | I really do not like simulated annealing | 19:33 |
| awygle | daveshah: i may just do that! have to see how other things work out. | 19:34 |
| shapr | for this purpose, at least | 19:34 |
| daveshah | awygle: awesome | 19:34 |
| awygle | daveshah: speaking of trellis, what linux flavor are you running it on? i had issues getting your PoC running | 19:34 |
| daveshah | awygle: Arch Linux | 19:34 |
| daveshah | with zsh | 19:34 |
| daveshah | Python 3.6.5 | 19:35 |
| awygle | hm. i was able to install diamond, but i had issues with building libtrellis and running the python bindings (solved the first, didn't solve the second) | 19:35 |
| daveshah | clang 6.0 | 19:35 |
| shapr | awygle: just to be clear, you mean this list? https://github.com/azonenberg/openfpga/wiki/Place-and-Route-Research | 19:35 |
| tpb | Title: Place and Route Research · azonenberg/openfpga Wiki · GitHub (at github.com) | 19:35 |
| awygle | on ubuntu something. 18.04? | 19:35 |
| awygle | shapr: yup | 19:35 |
| shapr | ok, thanks | 19:35 |
| daveshah | boost 1.66 | 19:35 |
| awygle | yeah i think boost::python was the problem | 19:36 |
| awygle | i'll probably just flip on an arch container, because lazy | 19:36 |
| daveshah | awygle: yeah, possibly easiest | 19:36 |
| daveshah | Ubuntu looks like boost 1.65.1, so I can't imagine very different | 19:37 |
| daveshah | what error do you get? | 19:37 |
| awygle | i got a double free, iirc | 19:37 |
| awygle | (not sitting in front of it right now) | 19:37 |
| awygle | also i had to downgrade CMake to 3.9 and change the boost::python entry to get libtrellis to build | 19:38 |
| awygle | downgrade the CMake version requirement, that is | 19:38 |
| daveshah | ok, de-Arch-ification was on my todo list once I have the basics done this weekend | 19:38 |
| daveshah | the double free is something else | 19:38 |
| daveshah | try this branch: https://github.com/daveshah1/prjtrellis/tree/develop-fuzz | 19:39 |
| tpb | Title: GitHub - daveshah1/prjtrellis at develop-fuzz (at github.com) | 19:39 |
| daveshah | it was a problem in the devices.json file in fact | 19:39 |
| awygle | ah, interesting | 19:39 |
| daveshah | awygle: The interconnect fuzzing framework is now in place, in the branch. After fixing one or two minor issues and speeding up with parallelisation, the logic tile should be completely fuzzed fairly soon, hopefully over the weekend. | 19:47 |
| awygle | daveshah: awesome! | 19:48 |
| daveshah | Just to give you an idea where things are at | 19:48 |
| awygle | yup | 19:48 |
| daveshah | I've run it now for a few hours and it's a bit past halfway, but an optimisation I added causes it to miss the odd interconnect | 19:48 |
| awygle | so the next steps would be, perhaps independently, "fuzz other tiles" and "yosys support""? | 19:48 |
| daveshah | Yes, exactly | 19:48 |
| daveshah | The next tile steps are (i) interconnect tiles (CIBs) which are simply a case of reusing the logic tile fuzzer without the logic bits and (ii) IO tiles which are a project unto themselves | 19:49 |
| daveshah | would you be interested in (ii) ? | 19:49 |
| awygle | it might be useful to put together a semi-prioritized list that people could indicate their targets on. i know there's at least two or three people interested in getting involved (including myself) | 19:49 |
| awygle | yeah, sure! sounds like fun :) | 19:49 |
| daveshah | There's a crude todo list in the README | 19:50 |
| *** mazzoo has joined #yosys | 19:55 | |
| *** SpaceCoaster has quit IRC | 19:57 | |
| *** xerpi has joined #yosys | 20:16 | |
| *** SpaceCoaster has joined #yosys | 20:20 | |
| *** SpaceCoaster has quit IRC | 20:25 | |
| *** SpaceCoaster has joined #yosys | 20:29 | |
| daveshah | awygle: another job that needs doing, and could easily be done in parallel to fuzzing, is to document the timing model of the ecp5 | 21:00 |
| daveshah | Plenty to work on, that's for sure... | 21:01 |
| awygle | definitely | 21:02 |
| awygle | timing model sounds less like my thing tbh. less development, more attention to detail | 21:03 |
| daveshah | awygle: sure | 21:03 |
| awygle | fuzzers and yosys support are the things i have my eye on | 21:03 |
| daveshah | awygle: Yosys support is probably the most immediately rewarding, because it will also make Diamond better | 21:04 |
| daveshah | Fuzzers are probably the most useful right now though | 21:04 |
| *** xerpi has quit IRC | 21:22 | |
| *** cemerick_ has quit IRC | 21:24 | |
| *** dmin7 has quit IRC | 21:25 | |
| *** digshadow has quit IRC | 21:28 | |
| *** digshadow has joined #yosys | 21:32 | |
| *** digshadow has left #yosys | 21:49 | |
| *** digshadow has joined #yosys | 21:51 | |
| *** digshadow has quit IRC | 21:51 | |
| *** digshadow has joined #yosys | 21:55 | |
| *** digshadow has quit IRC | 21:57 | |
| sorear | Are power models a thing of interest? | 22:00 |
| awygle | I'd say so yes | 22:02 |
| *** digshadow has joined #yosys | 22:07 | |
| *** dxld has quit IRC | 22:46 | |
| *** SpaceCoaster has quit IRC | 22:48 | |
| *** dxld has joined #yosys | 22:48 | |
| *** GuzTech has quit IRC | 22:50 | |
| *** dxld has quit IRC | 23:15 | |
| *** dxld has joined #yosys | 23:16 | |
| *** m_w has joined #yosys | 23:58 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!