| *** tpb has joined #yosys | 00:00 | |
| seraxis | lukego, I got a years license for Vivado Design Edition and Vitis for 10 bucks with the Zybo Z7 from Digilent. As far as I can tell once you have a license that's it. I've read it's a pain to use it between different machines. | 00:01 |
|---|---|---|
| seraxis | Though it only registers to your MAC address and hostname as far as I can tell, so maybe there's ways around that | 00:04 |
| seraxis | Makes me wonder if you could just keep buying boards and redeeming the certificates | 00:06 |
| *** seraxis has quit IRC | 00:59 | |
| *** seraxis has joined #yosys | 00:59 | |
| *** rohitksingh has joined #yosys | 01:28 | |
| *** m_w has joined #yosys | 01:55 | |
| *** bitmapper has quit IRC | 02:05 | |
| *** cr1901_modern has left #yosys | 04:57 | |
| *** cr1901_modern has joined #yosys | 04:58 | |
| *** rohitksingh has quit IRC | 05:02 | |
| *** _whitelogger has quit IRC | 05:58 | |
| *** _whitelogger has joined #yosys | 06:00 | |
| *** adjtm has quit IRC | 06:13 | |
| *** adjtm has joined #yosys | 06:14 | |
| *** Jybz has joined #yosys | 06:59 | |
| lukego | Just took the plunge and ordered 4 x XCKU15P from that seller for $250 each. I'll probably kill one during rework, develop with another, have a couple for loaning out on prototypes to try and get some commercial action. Have to sort the Vivado situation separately... | 07:21 |
| lukego | seraxis: Maybe that Vivado is also locked to only do synthesis for that device? | 07:23 |
| lukego | i.e. that model of device, i.e. wouldn't work for my shiny new second hand Kintex+ | 07:23 |
| *** unkraut has joined #yosys | 07:26 | |
| daveshah | Yes the vouchers are device locked usually | 07:31 |
| daveshah | As far as I know this ami isn't https://aws.amazon.com/marketplace/pp/B07WNR73X5?qid=1580369452876&sr=0-5&ref_=srh_res_product_title | 07:32 |
| tpb | Title: AWS Marketplace: Vivado & SDx 2019.2 Developer AMI (at aws.amazon.com) | 07:32 |
| * lukego looks into downloading and backing up a copy of that AMI... | 07:34 | |
| lukego | oh looks like it's not that kind of arrangement. this isn't the F1 toolchain but an AMI to rent from Xilinx. Good option to know about! | 07:34 |
| lukego | daveshah: do you have a full Vivado license for your hacking somehow or how do you do it? | 07:35 |
| daveshah | I've never needed one as I don't have any devices that do | 07:35 |
| daveshah | The largest device I have is a xczu7ev | 07:35 |
| lukego | do you want one of these Kintex cards? happy to share if it would be useful for your hacking | 07:41 |
| *** X-Scale` has joined #yosys | 07:44 | |
| lukego | (I decided that I'll spend 2020 learning to do hardware/gateware hacking but first step now in winter is to do some paid work to make a budget for that. Hopefully the equipment I buy will be worth the lost development time. Reckon so.) | 07:45 |
| *** X-Scale has quit IRC | 07:46 | |
| *** X-Scale` is now known as X-Scale | 07:46 | |
| *** dys has quit IRC | 07:49 | |
| *** dys has joined #yosys | 07:55 | |
| *** Jybz has quit IRC | 07:56 | |
| daveshah | No, I wouldn't realistically have the time to get a card like that up and running | 08:11 |
| daveshah | There's still plenty of work even getting Yosys and nextpnr to work well for the top end of the zu7ev | 08:11 |
| *** vidbina has joined #yosys | 08:16 | |
| *** dh73 has joined #yosys | 08:18 | |
| *** dh73 has quit IRC | 08:21 | |
| lukego | understood. yeah, this seems more like a chip for doing mainstream commercial work with, using the usual boring proprietary tools etc. that sounds like a potentially complementary line of work to me though | 08:24 |
| *** Jybz has joined #yosys | 08:26 | |
| *** m4ssi has joined #yosys | 08:38 | |
| *** fsasm has joined #yosys | 09:15 | |
| *** vidbina has quit IRC | 09:18 | |
| *** tux3_ has joined #yosys | 09:54 | |
| *** tux3 has quit IRC | 09:54 | |
| seraxis | davidshah: Ah! Thought there had to be some catch. Upping the thanks for that link, I didn't know that existed. | 10:06 |
| mithro | Anyone seen this error when compiling ABC as part of Yosys? | 10:47 |
| mithro | /tmp/really-long-path/conda/conda-bld/yosys_1580379800823/_build_env/bin/../lib/gcc/x86_64-conda_cos6-linux-gnu/7.3.0/../../../../x86_64-conda_cos6-linux-gnu/bin/ld: src/base/main/mainInit.o: in function | 10:47 |
| mithro | `Abc_FrameInit': | 10:47 |
| mithro | /usr/local/src/conda/yosys-0.9_3245_g1679682f/abc/src/base/main/mainInit.c:119: undefined reference to `Glucose_Init(Abc_Frame_t_*)' | 10:47 |
| daveshah | mithro: https://github.com/YosysHQ/yosys/pull/1502 | 10:48 |
| tpb | Title: use CC not CXX to compile abc by rxrbln · Pull Request #1502 · YosysHQ/yosys · GitHub (at github.com) | 10:48 |
| daveshah | not sure what the exact situation there is though, haven't seen it personally | 10:48 |
| daveshah | and https://github.com/YosysHQ/yosys/issues/285 | 10:49 |
| tpb | Title: Probem cross-compiling ABC (From Yosys) · Issue #285 · YosysHQ/yosys · GitHub (at github.com) | 10:49 |
| *** pepijndevos[m] has quit IRC | 11:10 | |
| *** seraxis has quit IRC | 11:23 | |
| *** seraxis has joined #yosys | 11:24 | |
| *** seraxis has quit IRC | 11:33 | |
| *** fsasm has quit IRC | 11:44 | |
| *** fsasm has joined #yosys | 11:49 | |
| *** heijligen has joined #yosys | 12:03 | |
| *** seraxis has joined #yosys | 12:05 | |
| *** vidbina has joined #yosys | 12:16 | |
| *** vidbina has quit IRC | 12:23 | |
| *** develonepi3 has joined #yosys | 13:06 | |
| *** grummel has quit IRC | 13:39 | |
| *** X-Scale` has joined #yosys | 13:49 | |
| *** X-Scale has quit IRC | 13:50 | |
| *** X-Scale` is now known as X-Scale | 13:50 | |
| *** rohitksingh has joined #yosys | 15:08 | |
| *** seraxis has quit IRC | 15:28 | |
| *** seraxis has joined #yosys | 15:32 | |
| *** seraxis has quit IRC | 15:35 | |
| *** seraxis has joined #yosys | 15:35 | |
| *** seraxis has joined #yosys | 15:36 | |
| *** seraxis has quit IRC | 15:39 | |
| *** seraxis has joined #yosys | 15:40 | |
| *** seraxis has joined #yosys | 15:40 | |
| *** seraxis has quit IRC | 15:43 | |
| *** seraxis has joined #yosys | 15:44 | |
| *** seraxis has quit IRC | 15:45 | |
| *** seraxis has joined #yosys | 15:46 | |
| *** seraxis has quit IRC | 16:05 | |
| *** seraxis has joined #yosys | 16:06 | |
| *** seraxis has quit IRC | 16:18 | |
| *** seraxis has joined #yosys | 16:18 | |
| *** fsasm has quit IRC | 16:22 | |
| *** s_frit_ has joined #yosys | 16:25 | |
| *** s_frit has quit IRC | 16:27 | |
| *** rohitksingh has quit IRC | 16:31 | |
| *** vidbina has joined #yosys | 17:09 | |
| *** vidbina has quit IRC | 17:14 | |
| *** vidbina has joined #yosys | 17:16 | |
| *** s_frit has joined #yosys | 17:28 | |
| *** s_frit_ has quit IRC | 17:32 | |
| *** citypw has quit IRC | 17:36 | |
| *** dys has quit IRC | 18:03 | |
| *** rohitksingh has joined #yosys | 18:23 | |
| *** rohitksingh has quit IRC | 18:32 | |
| *** rohitksingh has joined #yosys | 19:03 | |
| somlo | somewhere between commits 07a12eb (jan. 27) and 1679682 (jan.29) I started getting ERROR: ABC: execution of command "/usr/bin/yosys-abc -s ..." failed: return code 127 | 19:16 |
| somlo | even though I built yosys with ABCEXTERNAL | 19:16 |
| somlo | tried to bisect, but landed on too many intermediate commits that would either not build or fail with different errors to conclusively blame this on any particular change | 19:17 |
| somlo | but there's a lot of abc related churn in between those two places... | 19:17 |
| ZipCPU|Laptop | Try adding -abc9 to your synth command | 19:18 |
| ZipCPU|Laptop | ... that may be a temporary work-around for now | 19:18 |
| somlo | my synth command is already "synth_ecp5 -abc9 -nowidelut -json foo.json -top foo" | 19:18 |
| *** fsasm has joined #yosys | 19:18 | |
| daveshah | Does abc print an error (you might need to look in the log if running with -q) ? | 19:20 |
| somlo | daveshah: I just started re-running it *without* "-abc9", to see if that makes a difference | 19:22 |
| somlo | but I'll dig through the logs next | 19:22 |
| somlo | but "/usr/bin/yosys-abc" worries me, feels like an attempt to run the "vendored" version, which is not how I built it, and which doesn't exist in my environment | 19:24 |
| daveshah | Oh right | 19:26 |
| daveshah | It might be some of the abc9 changes recently broke external ABC | 19:27 |
| ZipCPU|Laptop | They broke internal ABC as well | 19:27 |
| ZipCPU|Laptop | I'm working with a design that fails without -abc9 | 19:27 |
| somlo | daveshah: I ran a "git diff 07a12eb 1679682" and skimmed through the output, but most of the things that looked like an abc command line and/or ABCEXTERNAL #ifdefs seemed to only move around, and not simply get dropped | 19:30 |
| somlo | that's very unscientific though, just a high-level first pass | 19:30 |
| somlo | so not immediately obvious where it'd fail to recognize that it should use ABCEXTERNAL | 19:30 |
| *** rohitksingh has quit IRC | 19:31 | |
| *** rohitksingh has joined #yosys | 19:32 | |
| somlo | daveshah, ZipCPU: dropping "abc9" worked (got me past yosys and into nextpnr) | 19:44 |
| somlo | not "worked" as in "long term solution", just "didn't die a horrible death with dire warnings" :) | 19:45 |
| ZipCPU|Laptop | Hmm ... I had the opposite experience. Not (yet) sure what to make of it | 19:58 |
| *** s_frit has quit IRC | 20:00 | |
| *** s_frit has joined #yosys | 20:01 | |
| *** ZipCPU|Laptop has quit IRC | 20:01 | |
| *** ZipCPU|Laptop has joined #yosys | 20:03 | |
| somlo | oh, I think I found it | 20:08 |
| somlo | there should be a line for the new, split-from-abc9 file, "abc9_exe.o" here: https://github.com/YosysHQ/yosys/blob/master/passes/techmap/Makefile.inc#L15 | 20:09 |
| tpb | Title: yosys/Makefile.inc at master · YosysHQ/yosys · GitHub (at github.com) | 20:09 |
| somlo | I'll test that out, then send a PR (unless anyone in this channel says "don't bother, we agree with you" and applies the change before I get to the PR phase :) | 20:10 |
| somlo | https://github.com/YosysHQ/yosys/pull/1668 | 20:20 |
| tpb | Title: abc9: Fix regression breaking support for use of ABCEXTERNAL by gsomlo · Pull Request #1668 · YosysHQ/yosys · GitHub (at github.com) | 20:20 |
| *** vidbina has quit IRC | 20:24 | |
| *** m_w has quit IRC | 20:27 | |
| *** m_w has joined #yosys | 20:27 | |
| *** rohitksingh has quit IRC | 20:31 | |
| *** rohitksingh has joined #yosys | 20:32 | |
| *** Jybz has quit IRC | 20:36 | |
| *** mmicko has quit IRC | 20:36 | |
| *** Twix has quit IRC | 20:36 | |
| *** mmicko has joined #yosys | 20:37 | |
| *** Twix has joined #yosys | 20:37 | |
| *** massi_ has joined #yosys | 20:48 | |
| *** fsasm has quit IRC | 21:00 | |
| *** Jybz has joined #yosys | 21:00 | |
| *** seraxis has quit IRC | 21:03 | |
| *** seraxis has joined #yosys | 21:03 | |
| *** Jybz has quit IRC | 21:08 | |
| *** massi_ has quit IRC | 21:09 | |
| *** nurelin_ has quit IRC | 21:33 | |
| *** nurelin has joined #yosys | 21:34 | |
| *** rohitksingh has quit IRC | 21:50 | |
| *** rohitksingh has joined #yosys | 21:52 | |
| *** rohitksingh has quit IRC | 22:39 | |
| *** rohitksingh has joined #yosys | 22:56 | |
| *** bitmapper has joined #yosys | 23:14 | |
| *** develonepi3 has quit IRC | 23:24 | |
| *** _whitelogger has quit IRC | 23:45 | |
| *** _whitelogger has joined #yosys | 23:47 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!