Friday, 2018-04-13

*** tpb has joined #yosys00:00
*** ZipCPU|Laptop has joined #yosys00:20
*** promach2 has joined #yosys00:24
*** dys has quit IRC00:56
*** ZipCPU|Laptop has quit IRC01:12
*** ZipCPU|Laptop has joined #yosys01:13
*** promach2 has quit IRC01:35
*** ZipCPU|Laptop has quit IRC01:55
*** digshadow has quit IRC02:37
*** X-Scale has quit IRC02:37
*** emeb has quit IRC02:40
*** emeb_mac has joined #yosys02:43
*** digshadow has joined #yosys03:03
*** taxvi has joined #yosys03:27
*** taxvi has quit IRC03:29
*** hyprawareex has joined #yosys03:40
*** seldridge has quit IRC03:41
*** hyprawareex has quit IRC03:44
*** linuxdaemonkq has joined #yosys03:55
*** linuxdaemonkq has quit IRC03:57
*** jkiv has quit IRC04:04
*** pie_ has quit IRC04:08
*** m_w has quit IRC04:11
*** WWQ008Mikjaer has joined #yosys04:15
*** WWQ008Mikjaer has quit IRC04:16
*** promach has quit IRC04:19
*** jkiv has joined #yosys04:22
*** jkiv has quit IRC04:38
*** seldridge has joined #yosys04:46
*** AlexDaniel has joined #yosys05: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 IRC05:47
promach_I have already included this file in my .sby file05:47
*** GuzTech has joined #yosys05:47
tpbTitle: Ubuntu Pastebin (at
*** kerel has joined #yosys05:49
*** promach has joined #yosys05:54
*** GuzTech has quit IRC05:59
*** xerpi has joined #yosys06:12
*** dys has joined #yosys07:00
*** emeb_mac has quit IRC07:06
*** GuzTech has joined #yosys07:08
*** FabM_cave has joined #yosys07:10
*** seldridge has quit IRC07:17
*** dmin7 has joined #yosys07:22
*** cr1901_modern has quit IRC07:42
*** xerpi has quit IRC08:05
promach_are sin() or cos() capability currently supported by yosys-smtbmc ?08:11
*** cemerick_ has joined #yosys09:34
*** pie_ has joined #yosys09:43
*** pie_ has quit IRC09:48
*** cr1901_modern has joined #yosys10:18
*** leviathan has joined #yosys10:24
*** xerpi has joined #yosys10:37
*** sklv has quit IRC10:40
*** sklv has joined #yosys10:41
*** ZipCPU has quit IRC10:46
*** X-Scale has joined #yosys11:01
*** ZipCPU has joined #yosys11:12
*** xerpi has quit IRC11:28
ZipCPUpromach_: I just tried placing two files on the same line in the [files] section and had catastrophic results.11:55
ZipCPUPlease 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
ZipCPUI've just submitted an issue to the repository regarding this behaviour.11:57
*** leviathan has quit IRC12:03
*** leviathan has joined #yosys12:04
*** leviathan has joined #yosys12:04
ZipCPUI 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
ZipCPUpromach_: 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] issue12:17
*** maartenBE has quit IRC12:46
*** maartenBE has joined #yosys12:47
*** dys has quit IRC12:57
*** sklv has quit IRC13:10
*** sklv has joined #yosys13:11
*** zino has joined #yosys13:31
*** pie_ has joined #yosys13:34
*** shapr has joined #yosys13:49
*** shapr is now known as Guest582913:49
*** pie__ has joined #yosys13:50
*** pie_ has quit IRC13:50
*** Guest5829 is now known as shapr`13:51
*** shapr` is now known as shapr13:51
*** shapr has joined #yosys13:51
*** cemerick_ is now known as cemerick14:06
*** xerpi has joined #yosys14:08
*** seldridge has joined #yosys14:27
*** emeb has joined #yosys14:51
*** promach2 has joined #yosys14:54
*** seldridge has quit IRC15:08
*** kmehall has quit IRC15:12
*** seldridge has joined #yosys15:50
*** GuzTech has quit IRC16:04
ZipCPUpromach_: The SymbiYosys documentation has now been updated.  A line in the [files] section specifying16:13
ZipCPUfile1.v file2.v16:14
ZipCPUwill copy file2.v to the SymbiYosys <outdir>/src directory, under the name of file1.v16:14
ZipCPUThere's also been an update to the error checking to fix where you type16:14
ZipCPU../(anywhere)/file1.v file2.v to keep from writing file2.v outside of SymbiYosys' directory structure.16:15
*** dmin7 has quit IRC16:20
promach2ZipCPU: ok, I need to reinstall SymbiYosys then16:23
promach2let me try this tomorrow :)16:25
ZipCPUYou'll still need to change your script16:26
ZipCPUHowever, 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
promach2I hope when I rerun the sby file, I do nto need to delete the output directory16:27
promach2ZipCPU: do you feel the same way too ?16:27
promach2do not*16:27
ZipCPUIf you run with "-f" then SymbiYosys should delete and recreate the output directory for you.16:27
promach2oh, really ?16:28
promach2I will definitely try this16:28
ZipCPUAbsolutely!  That's how I do it all the time.16:28
promach2maybe I should try modifying the script now16:28
promach2give me 10 minutes16:28
*** digshadow has quit IRC16:33
promach2ZipCPU: I am having this situation :
tpbTitle: Ubuntu Pastebin (at
ZipCPUAre you sure you updated SymbiYosys (not yosys necessarily)?16:34
ZipCPU'Cause that's what it would do before the update.16:35
promach2I have only updated SymbiYosys16:35
promach2do you mean I need to update yosys as well ?16:35
ZipCPUYou did both a "git pull" and a "sudo make install"?16:35
ZipCPUOnly SymbiYosys is required for this fix.16:35
promach2yes, I am using the latest git for SymbiYosys16:36
ZipCPUDid you "install" it?16:36
promach2of course16:36
ZipCPUDo a "git log" ... what commit number starts the log?16:36
ZipCPU(In the SYmbiYosys directory of course ...)16:37
ZipCPUIt should be 836d54d4c7a0db9072026d81bed1ca91c3c913a316:37
ZipCPUOr rather f0bf0c155a2052339748e1c74c2df94083382bc1 ... that's a documentation fix, and a touch more recent16:38
promach2you are using one commit older, ZipCPU ;)16:38
promach2commit f0bf0c155a2052339748e1c74c2df94083382bc1 (HEAD -> master)16:39
promach2Author: Clifford Wolf <[email protected]>16:39
promach2Date:   Fri Apr 13 18:10:22 2018 +020016:39
* ZipCPU scratches head.16:39
ZipCPUIs your example on github?  Can I download it and try it?16:39
promach2I got to sleep now. Probably I mess up my own directory16:39
promach2yes, it is16:39
promach2one moment16:39
tpbTitle: GitHub - promach/cordic: A pipelined cordic algoithm for computing cos(angle) and sin(angle) in verilog (at
promach2ZipCPU: the previous mistake is due to me typing in a different termnal which is meant for another computer16:48
promach2but I still have  "SBY  0:44:03 [cordic] ERROR: destination filename must be a relative path without /../: ../rtl/cordic_pipelined.v" even after updating SymbiYosys16:48
promach2ZipCPU: I supppose SymbiYosys does not like me typing "  ../ " in the [files] section16:54
promach2I got to go now16:54
*** dmin7 has joined #yosys16:55
*** promach2 has quit IRC17:02
*** digshadow has joined #yosys17:04
*** indy has quit IRC17:21
*** indy has joined #yosys17:23
*** xrexeon has joined #yosys18:03
*** seldridge has quit IRC18:07
*** xerpi has quit IRC18:17
*** promach__ has joined #yosys18:20
*** promach_ has quit IRC18:23
*** seldridge has joined #yosys18:27
*** xrexeon has quit IRC18:30
*** m_w has joined #yosys18:31
*** xrexeon has joined #yosys18:33
*** seldridge has quit IRC18:33
*** xrexeon has quit IRC18:41
*** sandeepkr has quit IRC18:45
*** seldridge has joined #yosys18:46
*** sandeepkr has joined #yosys18:47
*** xrexeon has joined #yosys19:04
*** dys has joined #yosys19:11
*** xrexeon has quit IRC19:19
*** xrexeon has joined #yosys19:30
*** GuzTech has joined #yosys19:31
*** xrexeon has joined #yosys19:33
*** leviathan has quit IRC20:14
*** pie__ has quit IRC20:20
*** pie__ has joined #yosys20:20
*** cemerick has quit IRC20:52
*** GuzTech has quit IRC21:06
*** lebster281 has joined #yosys21:44
*** lebster281 has quit IRC21:46
*** quigonjinn has quit IRC21:46
*** dmin7 has quit IRC22:08
*** quigonjinn has joined #yosys22:18
*** seldridge has quit IRC22:27
*** xrexeon has quit IRC22:38
*** ssvb has quit IRC23:57

Generated by 2.13.1 by Marius Gedminas - find it at!