| *** tpb has joined #yosys | 00:00 | |
| *** ZipCPU|Laptop has joined #yosys | 00:20 | |
| *** promach2 has joined #yosys | 00:24 | |
| *** dys has quit IRC | 00:56 | |
| *** ZipCPU|Laptop has quit IRC | 01:12 | |
| *** ZipCPU|Laptop has joined #yosys | 01:13 | |
| *** promach2 has quit IRC | 01:35 | |
| *** ZipCPU|Laptop has quit IRC | 01:55 | |
| *** digshadow has quit IRC | 02:37 | |
| *** X-Scale has quit IRC | 02:37 | |
| *** emeb has quit IRC | 02:40 | |
| *** emeb_mac has joined #yosys | 02:43 | |
| *** digshadow has joined #yosys | 03:03 | |
| *** taxvi has joined #yosys | 03:27 | |
| *** taxvi has quit IRC | 03:29 | |
| *** hyprawareex has joined #yosys | 03:40 | |
| *** seldridge has quit IRC | 03:41 | |
| *** hyprawareex has quit IRC | 03:44 | |
| *** linuxdaemonkq has joined #yosys | 03:55 | |
| *** linuxdaemonkq has quit IRC | 03:57 | |
| *** jkiv has quit IRC | 04:04 | |
| *** pie_ has quit IRC | 04:08 | |
| *** m_w has quit IRC | 04:11 | |
| *** WWQ008Mikjaer has joined #yosys | 04:15 | |
| *** WWQ008Mikjaer has quit IRC | 04:16 | |
| *** promach has quit IRC | 04:19 | |
| *** jkiv has joined #yosys | 04:22 | |
| *** jkiv has quit IRC | 04:38 | |
| *** seldridge has joined #yosys | 04:46 | |
| *** AlexDaniel has joined #yosys | 05:29 | |
| promach_ | I am using yosys sby frontend, but I have this error : SBY 13:11:44 [cordic] script: ERROR: Module `cordic_pipelined' not found! | 05:47 |
|---|---|---|
| *** kerel has quit IRC | 05:47 | |
| promach_ | I have already included this file in my .sby file | 05:47 |
| *** GuzTech has joined #yosys | 05:47 | |
| promach_ | https://paste.ubuntu.com/p/qvB7HcvZRk/ | 05:48 |
| tpb | Title: Ubuntu Pastebin (at paste.ubuntu.com) | 05:48 |
| *** kerel has joined #yosys | 05:49 | |
| *** promach has joined #yosys | 05:54 | |
| *** GuzTech has quit IRC | 05:59 | |
| *** xerpi has joined #yosys | 06:12 | |
| *** dys has joined #yosys | 07:00 | |
| *** emeb_mac has quit IRC | 07:06 | |
| *** GuzTech has joined #yosys | 07:08 | |
| *** FabM_cave has joined #yosys | 07:10 | |
| *** seldridge has quit IRC | 07:17 | |
| *** dmin7 has joined #yosys | 07:22 | |
| *** cr1901_modern has quit IRC | 07:42 | |
| *** xerpi has quit IRC | 08:05 | |
| promach_ | are sin() or cos() capability currently supported by yosys-smtbmc ? | 08:11 |
| *** cemerick_ has joined #yosys | 09:34 | |
| *** pie_ has joined #yosys | 09:43 | |
| *** pie_ has quit IRC | 09:48 | |
| *** cr1901_modern has joined #yosys | 10:18 | |
| *** leviathan has joined #yosys | 10:24 | |
| *** xerpi has joined #yosys | 10:37 | |
| *** sklv has quit IRC | 10:40 | |
| *** sklv has joined #yosys | 10:41 | |
| *** ZipCPU has quit IRC | 10:46 | |
| *** X-Scale has joined #yosys | 11:01 | |
| *** ZipCPU has joined #yosys | 11:12 | |
| *** xerpi has quit IRC | 11:28 | |
| ZipCPU | promach_: I just tried placing two files on the same line in the [files] section and had catastrophic results. | 11:55 |
| ZipCPU | Please double check that your files are in good order (yikes!) as you would want them to be, and then place them on separate lines in the [files] section of the SymbiYosys file. | 11:56 |
| ZipCPU | I've just submitted an issue to the repository regarding this behaviour. | 11:57 |
| *** leviathan has quit IRC | 12:03 | |
| *** leviathan has joined #yosys | 12:04 | |
| *** leviathan has joined #yosys | 12:04 | |
| ZipCPU | I just checked the yosys parser, or rather the flex config file. yosys does not recognize ln, log, exp, floor, pow, sin, cos, and probably not the rest of the real math functions either. | 12:10 |
| ZipCPU | promach_: I do know that sin() and cos() are supported in C++, and supported by Verilator as well. | 12:11 |
| promach_ | ZipCPU: thanks for comfirming the [files] issue | 12:17 |
| *** maartenBE has quit IRC | 12:46 | |
| *** maartenBE has joined #yosys | 12:47 | |
| *** dys has quit IRC | 12:57 | |
| *** sklv has quit IRC | 13:10 | |
| *** sklv has joined #yosys | 13:11 | |
| *** zino has joined #yosys | 13:31 | |
| *** pie_ has joined #yosys | 13:34 | |
| *** shapr has joined #yosys | 13:49 | |
| *** shapr is now known as Guest5829 | 13:49 | |
| *** pie__ has joined #yosys | 13:50 | |
| *** pie_ has quit IRC | 13:50 | |
| *** Guest5829 is now known as shapr` | 13:51 | |
| *** shapr` is now known as shapr | 13:51 | |
| *** shapr has joined #yosys | 13:51 | |
| *** cemerick_ is now known as cemerick | 14:06 | |
| *** xerpi has joined #yosys | 14:08 | |
| *** seldridge has joined #yosys | 14:27 | |
| *** emeb has joined #yosys | 14:51 | |
| *** promach2 has joined #yosys | 14:54 | |
| *** seldridge has quit IRC | 15:08 | |
| *** kmehall has quit IRC | 15:12 | |
| *** seldridge has joined #yosys | 15:50 | |
| *** GuzTech has quit IRC | 16:04 | |
| ZipCPU | promach_: The SymbiYosys documentation has now been updated. A line in the [files] section specifying | 16:13 |
| ZipCPU | file1.v file2.v | 16:14 |
| ZipCPU | will copy file2.v to the SymbiYosys <outdir>/src directory, under the name of file1.v | 16:14 |
| ZipCPU | There's also been an update to the error checking to fix where you type | 16:14 |
| ZipCPU | ../(anywhere)/file1.v file2.v to keep from writing file2.v outside of SymbiYosys' directory structure. | 16:15 |
| *** dmin7 has quit IRC | 16:20 | |
| promach2 | ZipCPU: ok, I need to reinstall SymbiYosys then | 16:23 |
| promach2 | let me try this tomorrow :) | 16:25 |
| ZipCPU | You'll still need to change your script | 16:26 |
| ZipCPU | However, at least now it won't overwrite other files in your file-system if you mess up. | 16:26 |
| ZipCPU | (That's what happened to me when I tested placing two filenames on the same line in the [files] section) | 16:26 |
| promach2 | I hope when I rerun the sby file, I do nto need to delete the output directory | 16:27 |
| promach2 | ZipCPU: do you feel the same way too ? | 16:27 |
| promach2 | do not* | 16:27 |
| ZipCPU | If you run with "-f" then SymbiYosys should delete and recreate the output directory for you. | 16:27 |
| promach2 | oh, really ? | 16:28 |
| promach2 | I will definitely try this | 16:28 |
| ZipCPU | Absolutely! That's how I do it all the time. | 16:28 |
| promach2 | maybe I should try modifying the script now | 16:28 |
| promach2 | give me 10 minutes | 16:28 |
| *** digshadow has quit IRC | 16:33 | |
| promach2 | ZipCPU: I am having this situation : https://paste.ubuntu.com/p/cJcj7YK79B/ | 16:34 |
| tpb | Title: Ubuntu Pastebin (at paste.ubuntu.com) | 16:34 |
| ZipCPU | Are you sure you updated SymbiYosys (not yosys necessarily)? | 16:34 |
| ZipCPU | 'Cause that's what it would do before the update. | 16:35 |
| promach2 | I have only updated SymbiYosys | 16:35 |
| promach2 | do you mean I need to update yosys as well ? | 16:35 |
| ZipCPU | You did both a "git pull" and a "sudo make install"? | 16:35 |
| ZipCPU | Only SymbiYosys is required for this fix. | 16:35 |
| promach2 | yes, I am using the latest git for SymbiYosys | 16:36 |
| ZipCPU | Did you "install" it? | 16:36 |
| promach2 | of course | 16:36 |
| ZipCPU | Do a "git log" ... what commit number starts the log? | 16:36 |
| ZipCPU | (In the SYmbiYosys directory of course ...) | 16:37 |
| ZipCPU | It should be 836d54d4c7a0db9072026d81bed1ca91c3c913a3 | 16:37 |
| ZipCPU | Or rather f0bf0c155a2052339748e1c74c2df94083382bc1 ... that's a documentation fix, and a touch more recent | 16:38 |
| promach2 | you are using one commit older, ZipCPU ;) | 16:38 |
| promach2 | commit f0bf0c155a2052339748e1c74c2df94083382bc1 (HEAD -> master) | 16:39 |
| promach2 | Author: Clifford Wolf <[email protected]> | 16:39 |
| promach2 | Date: Fri Apr 13 18:10:22 2018 +0200 | 16:39 |
| * ZipCPU scratches head. | 16:39 | |
| ZipCPU | Is your example on github? Can I download it and try it? | 16:39 |
| promach2 | I got to sleep now. Probably I mess up my own directory | 16:39 |
| promach2 | yes, it is | 16:39 |
| promach2 | one moment | 16:39 |
| promach2 | https://github.com/promach/cordic | 16:40 |
| tpb | Title: GitHub - promach/cordic: A pipelined cordic algoithm for computing cos(angle) and sin(angle) in verilog (at github.com) | 16:40 |
| ZipCPU | Thanks! | 16:40 |
| promach2 | ZipCPU: the previous mistake is due to me typing in a different termnal which is meant for another computer | 16:48 |
| promach2 | but I still have "SBY 0:44:03 [cordic] ERROR: destination filename must be a relative path without /../: ../rtl/cordic_pipelined.v" even after updating SymbiYosys | 16:48 |
| promach2 | ZipCPU: I supppose SymbiYosys does not like me typing " ../ " in the [files] section | 16:54 |
| promach2 | I got to go now | 16:54 |
| *** dmin7 has joined #yosys | 16:55 | |
| *** promach2 has quit IRC | 17:02 | |
| *** digshadow has joined #yosys | 17:04 | |
| *** indy has quit IRC | 17:21 | |
| *** indy has joined #yosys | 17:23 | |
| *** xrexeon has joined #yosys | 18:03 | |
| *** seldridge has quit IRC | 18:07 | |
| *** xerpi has quit IRC | 18:17 | |
| *** promach__ has joined #yosys | 18:20 | |
| *** promach_ has quit IRC | 18:23 | |
| *** seldridge has joined #yosys | 18:27 | |
| *** xrexeon has quit IRC | 18:30 | |
| *** m_w has joined #yosys | 18:31 | |
| *** xrexeon has joined #yosys | 18:33 | |
| *** seldridge has quit IRC | 18:33 | |
| *** xrexeon has quit IRC | 18:41 | |
| *** sandeepkr has quit IRC | 18:45 | |
| *** seldridge has joined #yosys | 18:46 | |
| *** sandeepkr has joined #yosys | 18:47 | |
| *** xrexeon has joined #yosys | 19:04 | |
| *** dys has joined #yosys | 19:11 | |
| *** xrexeon has quit IRC | 19:19 | |
| *** xrexeon has joined #yosys | 19:30 | |
| *** GuzTech has joined #yosys | 19:31 | |
| *** xrexeon has joined #yosys | 19:33 | |
| *** leviathan has quit IRC | 20:14 | |
| *** pie__ has quit IRC | 20:20 | |
| *** pie__ has joined #yosys | 20:20 | |
| *** cemerick has quit IRC | 20:52 | |
| *** GuzTech has quit IRC | 21:06 | |
| *** lebster281 has joined #yosys | 21:44 | |
| *** lebster281 has quit IRC | 21:46 | |
| *** quigonjinn has quit IRC | 21:46 | |
| *** dmin7 has quit IRC | 22:08 | |
| *** quigonjinn has joined #yosys | 22:18 | |
| *** seldridge has quit IRC | 22:27 | |
| *** xrexeon has quit IRC | 22:38 | |
| *** ssvb has quit IRC | 23:57 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!