| *** tpb has joined #yosys | 00:00 | |
| *** pie_ has quit IRC | 02:42 | |
| *** pie_ has joined #yosys | 02:46 | |
| *** pie_ has quit IRC | 02:48 | |
| *** PyroPeter has quit IRC | 03:12 | |
| *** PyroPeter has joined #yosys | 03:25 | |
| *** citypw has joined #yosys | 03:32 | |
| *** Thorn has joined #yosys | 04:42 | |
| *** _whitelogger has quit IRC | 06:03 | |
| *** _whitelogger has joined #yosys | 06:05 | |
| *** _whitelogger has quit IRC | 06:21 | |
| *** _whitelogger has joined #yosys | 06:23 | |
| *** rohitksingh has joined #yosys | 06:41 | |
| *** emeb_mac has quit IRC | 07:29 | |
| *** Jybz has joined #yosys | 07:29 | |
| *** dys has joined #yosys | 08:07 | |
| *** s_frit has quit IRC | 08:41 | |
| *** s_frit has joined #yosys | 08:41 | |
| *** rohitksingh has quit IRC | 08:50 | |
| *** _whitelogger has quit IRC | 08:57 | |
| *** AlexDaniel has quit IRC | 08:58 | |
| *** _whitelogger has joined #yosys | 08:59 | |
| *** kerel has left #yosys | 09:05 | |
| *** rohitksingh has joined #yosys | 09:09 | |
| *** rohitksingh has quit IRC | 09:19 | |
| *** rohitksingh has joined #yosys | 09:59 | |
| *** rohitksingh has quit IRC | 10:24 | |
| *** rohitksingh has joined #yosys | 11:05 | |
| *** rohitksingh has quit IRC | 11:37 | |
| *** Thorn has quit IRC | 11:57 | |
| *** AlexDaniel has joined #yosys | 12:04 | |
| *** janrinze has joined #yosys | 12:25 | |
| janrinze | hi. after the relut issues performance was restored but now the latest master seems to have significant perfomance reduction again. Apparently relut has been removed and a new strategy has replaced it. Anyone else seeing this too? | 12:27 |
|---|---|---|
| janrinze | doing a rebuild of yosys now to see if it was cause by a build issue. (sometimes changes don't propagate fully and a rebuild is required after git pull.) | 12:29 |
| tnt | relut was not removed. the bug was just fixed. (two things were merged at once and they conflicted to create a perf issue) | 12:30 |
| *** pepijndevos[m] has joined #yosys | 12:31 | |
| *** rrika has quit IRC | 12:32 | |
| *** rohitksingh has joined #yosys | 12:33 | |
| *** rrika has joined #yosys | 12:35 | |
| *** X-Scale has quit IRC | 12:38 | |
| *** rohitksingh has quit IRC | 12:43 | |
| janrinze | tnt: did you see commit d5e8c0e6d33de71493855eca72fcc454a67a6140 ? | 12:47 |
| *** rohitksingh has joined #yosys | 12:51 | |
| tnt | Arf, no I had. | 12:54 |
| tnt | not | 12:55 |
| janrinze | tnt: care to try out the latest master? I'm curious if you see similar results | 13:04 |
| tnt | yeah, already building it ... | 13:05 |
| tnt | but my laptop is like 5y old, it takes a while :p | 13:05 |
| janrinze | yeah, i can relate. | 13:06 |
| janrinze | tnt: i have a simple design that ran 100Mhz and now can only reach 68Mhz. that's quite a set back. | 13:10 |
| tnt | I can top that. | 13:11 |
| tnt | ERROR: timing analysis failed due to presence of combinatorial loops, incomplete specification of timing ports, etc. | 13:11 |
| tnt | It went from working to ... not working. | 13:11 |
| tnt | so yeah, I'd say yosys master is broken ATM | 13:13 |
| janrinze | commit ea8ac8fd7484cc7c3b8929ae339f9aeb49403c36 too | 13:14 |
| janrinze | oh, the presence of combinatorial loops messages have been bugging me too recently. | 13:14 |
| janrinze | Thought it was my design but clearly it's not just me :-) | 13:15 |
| janrinze | 70% speed is quite annoying. | 13:15 |
| janrinze | My cpu went back form 52Mhz to 34.5 ! | 13:16 |
| janrinze | in all quite a bit of regression i.r.t. speed | 13:17 |
| janrinze | If it has been replaced then I wonder if there is a new flag to be used for optimization. | 13:19 |
| janrinze | tnt: with a build of the last commit on aug 7 everything is okay? | 13:23 |
| tnt | So I found a way to make it pass ... but the design is now 800 LCs larger (2700 -> 3500) and ~ 10% slower. | 13:31 |
| tnt | which commit do you want me to test ? | 13:31 |
| janrinze | commit f69410daaf68cd3cef5e365df9b27c623ce589a7 should be the last one of aug 7 | 13:34 |
| janrinze | tnt: i'm building that one now too and hopefully will see what the differences are. | 13:36 |
| *** pepijndevos[m] has left #yosys | 13:38 | |
| *** pepijndevos[m] has joined #yosys | 13:38 | |
| *** AlexDaniel has quit IRC | 13:50 | |
| tnt | janrinze: seems to work better ... fmax is a bit lower but that's probably just randomness .. | 14:02 |
| tnt | LCs at least are back to "normal" (just 3 LCs more) | 14:02 |
| tnt | nextpnr still crashes at the end with "terminate called after throwing an instance of 'std::out_of_range'" | 14:03 |
| tnt | maybe there was some incompatible change between yosys / nextpnr ... | 14:03 |
| *** emeb has joined #yosys | 14:03 | |
| daveshah | There was a breaking change in the JSON, new nextpnr with old JSON (where there is a problem, mostly ecp5) will give a sensible error but it wasn't possible to do anything with new JSON and old nextpnr | 14:07 |
| daveshah | Although annoying it finally means we have unambiguous parameters in all cases | 14:07 |
| tnt | Rebuilding nextpnr now. But yeah, looks like f69410daaf68cd3cef5e365df9b27c623ce589a7 is fine. But master is not. | 14:10 |
| *** develonepi3 has joined #yosys | 14:29 | |
| janrinze | tnt: just tested commit f69410daaf68cd3cef5e365df9b27c623ce589a7 with my simple design and it gives 100 Mhz again. | 15:11 |
| tnt | ac2fc3a144fe1094bedcc6b3fda8a498ad43ae76 is what screws it up for me. | 15:13 |
| *** X-Scale has joined #yosys | 15:27 | |
| tnt | janrinze: feel free to open an issue on github | 15:29 |
| *** emeb has quit IRC | 15:30 | |
| janrinze | tnt: looking for an example that is small enough to show in an issue. | 15:30 |
| *** emeb_mac has joined #yosys | 15:33 | |
| *** Thorn has joined #yosys | 15:37 | |
| tnt | given the merge branch name that screws it up is ice40_full_adder, I'd say anything with an adder would be bad :p | 15:45 |
| *** rohitksingh has quit IRC | 16:04 | |
| janrinze | tnt: the unlut part was intended to undo lut allocation by abc and allow further optimization of carry and lut. It seems that abc9 now supports full adder and will emit those. Unfortunately it seems it's not very smart about it. | 16:06 |
| daveshah | I don't think abc9 is emitting full adders, just perhaps optimising around them | 16:09 |
| daveshah | I'm not even sure what that PR was about, I suspect it might be best to revert it | 16:10 |
| tnt | It's https://github.com/YosysHQ/yosys/pull/1266 but ... doesn't explain much of the "why" | 16:11 |
| tpb | Title: Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER by eddiehung · Pull Request #1266 · YosysHQ/yosys · GitHub (at github.com) | 16:11 |
| daveshah | With the somewhat intricate carry structure in the iCE40, it's easy to trigger edge cases that result in ridiculous amounts of feed throughs being generated in an attempt to legalise them | 16:12 |
| *** rohitksingh has joined #yosys | 16:21 | |
| daveshah | FYI https://github.com/YosysHQ/yosys/pull/1280 | 16:26 |
| tpb | Title: Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER" by daveshah1 · Pull Request #1280 · YosysHQ/yosys · GitHub (at github.com) | 16:26 |
| *** citypw has quit IRC | 16:39 | |
| pepijndevos | What's the most gate-efficient way to write synchronous logic experssions? I currently have a big ball of nested if and case statements. | 16:46 |
| *** emeb_mac has quit IRC | 16:46 | |
| tnt | pepijndevos: my best results have been either describe it as close as the exact logic I want. (i.e. do the synthesis in my head and describe that). Or describe it as bare logic equations ( OR of ANDs ) that I externally minimized. | 16:56 |
| *** rohitksingh has quit IRC | 17:05 | |
| *** AlexDaniel has joined #yosys | 17:46 | |
| janrinze | daveshah: i'm building yosys from branch revert-1266-eddie/ice40_full_adder now to see if the performance regression is fixed with that too. | 17:53 |
| *** rohitksingh has joined #yosys | 17:53 | |
| pepijndevos | tnt, so far the pieces of logic I managed to extract as asynchronous assignments were definitely smaller than what I had. | 18:14 |
| tnt | pepijndevos: I'm not surprised :) | 18:15 |
| tnt | pepijndevos: is the code you're working on somewhere public btw ? | 18:16 |
| pepijndevos | So basically I want to reach a situation where my sequential process is JUST unconditional assignments. | 18:16 |
| pepijndevos | tnt, https://github.com/pepijndevos/seqpu/blob/master/cpu.vhd | 18:17 |
| tpb | Title: seqpu/cpu.vhd at master · pepijndevos/seqpu · GitHub (at github.com) | 18:17 |
| tnt | you want to minimize them. and especially you want to minimize the dependencies on signals that don't matter. | 18:26 |
| tnt | with nested if and conditions it's easy to hardcode a 'priority' or force a signal in a state in some case where in fact in that case the actual value doesn't matter. | 18:28 |
| pepijndevos | Right | 18:28 |
| pepijndevos | What do you mean by "minimize" though? | 18:28 |
| pepijndevos | And also... for example the next state of b is quite complicated, so it's not trivial to turn all of them into an async assignment | 18:29 |
| tnt | I mean do as best you can :) | 18:35 |
| tnt | Something that can help as well (especially if you're shooting for area), is to extract the wide muxes and only genrate the control signal in the large switch. | 18:37 |
| tnt | For instance if B can only take 4 different values, but which one is complex, you manually create the mux and you only generate the 'selection' signal in the large case. | 18:38 |
| pepijndevos | Ah I see | 18:45 |
| pepijndevos | Making progress... | 18:46 |
| pepijndevos | If someone just made a "sufficiently smart" compiler... | 18:48 |
| janrinze | pepijndevos: do you use vhdl with yosys? | 18:57 |
| tnt | janrinze: did it work ? | 19:01 |
| tnt | janrinze: (and the commercial version of yosys has a vhdl frontend) | 19:02 |
| janrinze | daveshah: f.w.i.w. the branch revert-1266-eddie/ice40_full_adder produces 100 MHz results again for my design. | 19:02 |
| pepijndevos | janrinze, YES! I'm using GHDL for everything except formal at the moment. | 19:03 |
| pepijndevos | Formal verification with GHDL is the next thing on my todo list :) | 19:03 |
| janrinze | pepijndevos: GHDL? I should take a look at that. Does it translate to verilog in the backend? | 19:04 |
| *** s_frit has quit IRC | 19:04 | |
| *** rohitksingh has quit IRC | 19:04 | |
| *** s_frit has joined #yosys | 19:05 | |
| tnt | pepijndevos: oh interesting, I thought you were using verific. | 19:05 |
| janrinze | pepijndevos: GHDL seems to be only a simulator. How do you use that with yosys? | 19:05 |
| daveshah | janrinze: if your design is public, could you add a link to it and a comment about the Fmax details on the revert PR? | 19:05 |
| janrinze | daveshah: it's a tta cpu, I'm still working on it. No real stuff to test or verify yet. | 19:08 |
| daveshah | No worries | 19:08 |
| janrinze | daveshah: TTA is very attractive for small fpga's its a 16 bit cpu with 8 KB program and 8KB data memory. and a 32 bit ALU. | 19:09 |
| janrinze | daveshah: the core of the cpu is one instruction : mov Rd,Ra | 19:10 |
| janrinze | daveshah: Rd and Ra are 8 bit references to a register in any of the 16 module slots. | 19:11 |
| janrinze | daveshah: so each module has 16 write and 16 read registers. | 19:11 |
| *** rohitksingh has joined #yosys | 19:12 | |
| janrinze | daveshah: It's an experiment in TTA cpus that i wanted to try. With the HX8K is can run at 100 MHz! | 19:12 |
| tnt | janrinze: did you try an up5k ? (just to see fmax) | 19:14 |
| janrinze | tnt: my 16bit RISC runs on both hx8k and up5k. the up5k being about 50% the speed of the hx8k | 19:16 |
| janrinze | tnt: I'll check the timings for up5k | 19:16 |
| tnt | How's the LC count ? | 19:17 |
| janrinze | tnt: for the TTA or the RISC16? | 19:19 |
| tnt | Both I guess :p | 19:20 |
| janrinze | tnt: the TTA is ICESTORM_LC 1693/ 7680 22% , using 1 16x16 registerfile , 1 load/store module and 1 ALU (32 bit). | 19:28 |
| janrinze | tnt: on the up5k that is 1693/5280 or 32% | 19:29 |
| janrinze | tnt: up5k has 128KB SPRAM but only 15 KB Block RAM. | 19:31 |
| tnt | yeah I know :) | 19:32 |
| *** X-Scale has quit IRC | 19:35 | |
| *** rohitksingh has quit IRC | 19:40 | |
| janrinze | tnt: the up5k has a disappointing 40MHz result for the TTA. | 19:56 |
| tnt | ok. | 19:57 |
| janrinze | tnt: on the icoboard I have not been able to get sram to work reliably above 35 MHz. Something to do with the pin delays i think. | 19:58 |
| daveshah | 40MHz is a pretty good going for a up5k, tbh | 19:58 |
| janrinze | daveshah: yes, i think it's about the limit for the up5k with anything practical | 20:00 |
| tnt | janrinze: as soon as you go outside bidirectionally you need to take all the IO delays into account and AFAIK next-pnr doesn't provide output clock-to-out or input setup/hold numbers. | 20:00 |
| janrinze | tnt: the RISC16 SoC takes ICESTORM_LC 3776/ 7680 49% | 20:01 |
| tnt | That's a bit large for my taste :p | 20:01 |
| janrinze | tnt: unfortunately there is no way to tell the toolchain that the address to data delay is 10ns | 20:01 |
| janrinze | tnt: that SoC has VGA 512x384 2bit , HW MUL, HW DIV, SPI access to SDcard etc.. | 20:02 |
| janrinze | tnt: in only 49% of the HX8K I think that is a respectable 'small' size. | 20:03 |
| tnt | Ah oki that's not just the cpu. | 20:03 |
| janrinze | tnt: it's about the same as a home computer from the 80's | 20:04 |
| tnt | also hw mul/div ... I guess you're not using the dsp ? | 20:04 |
| janrinze | On the up5k I do use the DSP. Not on the HX8K | 20:04 |
| tnt | obviously :p | 20:04 |
| janrinze | daveshah: will we see some tooling for defining I/O delay in the near future? | 20:06 |
| daveshah | Probably not, it's nowhere near the top of the todo list | 20:06 |
| tnt | janrinze: you can't really _define_ IO delays btw, the tool would just report them mostly. | 20:06 |
| tnt | It's up to you to actually 'by design' make it so it works for you. | 20:07 |
| daveshah | I'm not even sure if we have enough data in icebox, tbh | 20:07 |
| daveshah | We have some slightly questionable numbers for the IO primitives but ime the vendor tools use numbers depending on voltage and load capacitance | 20:07 |
| tnt | first thing is to always use IO registers for in/out, this way those delays are constant. | 20:07 |
| janrinze | tnt: the SoC can run at 58Mhz if no external RAM is used. Unfortunately 16KB is way too small for a SOC with a VGA framebuffer. | 20:07 |
| tnt | janrinze: not sure if you've seen but : https://github.com/smunaut/ice40-playground/blob/master/cores/video/doc/text-mode.md | 20:08 |
| tpb | Title: ice40-playground/text-mode.md at master · smunaut/ice40-playground · GitHub (at github.com) | 20:08 |
| daveshah | Yeah as tnt says I don't think the RAM issue is one the tool would be able to fix itself | 20:09 |
| tnt | That's a "text mode" (with user definable glyphs) core for the up5k using the SPRAMs. | 20:09 |
| daveshah | But better timing analysis would at least report issues | 20:09 |
| janrinze | tnt: text mode would work, I guess. Still the code from the ROM is already 16KB.. | 20:09 |
| janrinze | I'll see if i can hack up a rom that is 8KB and put the rest (vga txt, stack etc.) in the other 8k. | 20:10 |
| tnt | janrinze: use one spram for the code :) (that's what I do. I have a minimal boot code in ROM that loads the rest from SPI to the spram) | 20:10 |
| daveshah | Could you add wait states to run the external RAM slower than the CPU core? | 20:11 |
| janrinze | tnt: on the up5k it runs at 22MHz and has 128KB SPRAM available. no external chips | 20:11 |
| daveshah | And then put speed critical stuff available in internal ram | 20:11 |
| tnt | janrinze: ah oki. | 20:11 |
| janrinze | daveshah: waitstates could work but i think cache has a better chance of getting higher speeds to work. | 20:12 |
| pepijndevos | janrinze, look at ghdlsynth-beta | 20:12 |
| janrinze | pepijndevos; yes already found that but no time yet to go through it. | 20:13 |
| pepijndevos | It's extremely beta | 20:15 |
| janrinze | I noticed it said that in the README too :-D | 20:15 |
| pepijndevos | hrm... I rewrote all of my code as async with just unconditional assignments, and it turns out that yosys is smarter than me on these last bits. | 20:16 |
| janrinze | pepijndevos: there is a lot of vhdl around that would be interesting to test with yosys. | 20:16 |
| pepijndevos | Certainly | 20:16 |
| pepijndevos | I know a few people who'd like to run popual retro computing simulators on yosys :))) | 20:17 |
| pepijndevos | *popular | 20:17 |
| janrinze | pepijndevos: I tried to write 'efficient' verilog in the past but noticed that yosys usually is very smart to compile high level verilog. So usually no need to worry about the code. | 20:18 |
| pepijndevos | Yea... usually, but a few bits that I moved outside of the process saved a lot. | 20:19 |
| janrinze | pepijndevos: I've been doing retro computing for 15 years now. Specifically 6502 based and ARM3 | 20:19 |
| janrinze | pepijndevos: I designed a few CPUs to do some alternative computing platforms. Somthing between a Apple II GS and an Acorn Archimedes. | 20:20 |
| janrinze | tnt: any experience with ecp5? | 20:21 |
| janrinze | tnt: The amount of BRAM seems very adequate for my SoC | 20:22 |
| tnt | janrinze: nope, not yet ... I plan to get acquainted with it during CCC camp in a couple of weeks. | 20:22 |
| tnt | daveshah: will you be at camp btw ? | 20:23 |
| * pepijndevos jealous | 20:23 | |
| daveshah | No, I'm not | 20:23 |
| pepijndevos | I completely missed out on camp ticket sale | 20:23 |
| janrinze | daveshah: any quick pointers for using nextpnr-ecp5 instead of nextpnr-ice40 ? I'd like to get a feel for what the ecp5 can do | 20:42 |
| daveshah | janrinze: this is a minimal example for the versa: https://github.com/SymbiFlow/prjtrellis/tree/master/examples/versa5g | 20:44 |
| tpb | Title: prjtrellis/examples/versa5g at master · SymbiFlow/prjtrellis · GitHub (at github.com) | 20:44 |
| daveshah | This is a small picorv32-based SoC: https://github.com/SymbiFlow/prjtrellis/tree/master/examples/soc_versa5g | 20:44 |
| tpb | Title: prjtrellis/examples/soc_versa5g at master · SymbiFlow/prjtrellis · GitHub (at github.com) | 20:44 |
| janrinze | daveshah: thanks. I just noticed i need to recompile nextpnr-ecp5 too. | 20:49 |
| janrinze | building nextpnr-ecp5 is for the people who are patient and willing to close all other apps to ensure it does not run out of memory :-D | 21:13 |
| *** emeb_mac has joined #yosys | 22:03 | |
| *** Jybz has quit IRC | 22:43 | |
| *** dys has quit IRC | 23:35 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!