cr1901_modern has quit [Read error: Connection reset by peer]
xerpi has quit [Quit: Leaving]
<promach_>
are sin() or cos() capability currently supported by yosys-smtbmc ?
cemerick_ has joined #yosys
pie_ has joined #yosys
pie_ has quit [Ping timeout: 268 seconds]
cr1901_modern has joined #yosys
leviathan has joined #yosys
xerpi has joined #yosys
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
ZipCPU has quit [Ping timeout: 260 seconds]
X-Scale has joined #yosys
ZipCPU has joined #yosys
xerpi has quit [Remote host closed the connection]
<ZipCPU>
promach_: I just tried placing two files on the same line in the [files] section and had catastrophic results.
<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.
<ZipCPU>
I've just submitted an issue to the repository regarding this behaviour.
leviathan has quit [Remote host closed the connection]
leviathan has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
leviathan has joined #yosys
<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.
<ZipCPU>
promach_: I do know that sin() and cos() are supported in C++, and supported by Verilator as well.
<promach_>
ZipCPU: thanks for comfirming the [files] issue
maartenBE has quit [Ping timeout: 265 seconds]
maartenBE has joined #yosys
dys has quit [Ping timeout: 256 seconds]
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
zino has joined #yosys
pie_ has joined #yosys
shapr has joined #yosys
shapr is now known as Guest5829
pie__ has joined #yosys
pie_ has quit [Read error: Connection reset by peer]
Guest5829 is now known as shapr`
shapr` is now known as shapr
shapr has quit [Changing host]
shapr has joined #yosys
cemerick_ is now known as cemerick
xerpi has joined #yosys
seldridge has joined #yosys
emeb has joined #yosys
promach2 has joined #yosys
seldridge has quit [Ping timeout: 240 seconds]
kmehall has quit [Remote host closed the connection]
seldridge has joined #yosys
GuzTech has quit [Quit: Leaving]
<ZipCPU>
promach_: The SymbiYosys documentation has now been updated. A line in the [files] section specifying
<ZipCPU>
file1.v file2.v
<ZipCPU>
will copy file2.v to the SymbiYosys <outdir>/src directory, under the name of file1.v
<ZipCPU>
There's also been an update to the error checking to fix where you type
<ZipCPU>
../(anywhere)/file1.v file2.v to keep from writing file2.v outside of SymbiYosys' directory structure.
dmin7 has quit [Ping timeout: 256 seconds]
<promach2>
ZipCPU: ok, I need to reinstall SymbiYosys then
<promach2>
let me try this tomorrow :)
<ZipCPU>
You'll still need to change your script
<ZipCPU>
However, at least now it won't overwrite other files in your file-system if you mess up.
<ZipCPU>
(That's what happened to me when I tested placing two filenames on the same line in the [files] section)
<promach2>
I hope when I rerun the sby file, I do nto need to delete the output directory
<promach2>
ZipCPU: do you feel the same way too ?
<promach2>
do not*
<ZipCPU>
If you run with "-f" then SymbiYosys should delete and recreate the output directory for you.
<promach2>
oh, really ?
<promach2>
I will definitely try this
<ZipCPU>
Absolutely! That's how I do it all the time.
<promach2>
maybe I should try modifying the script now
<tpb>
Title: GitHub - promach/cordic: A pipelined cordic algoithm for computing cos(angle) and sin(angle) in verilog (at github.com)
<ZipCPU>
Thanks!
<promach2>
ZipCPU: the previous mistake is due to me typing in a different termnal which is meant for another computer
<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
<promach2>
ZipCPU: I supppose SymbiYosys does not like me typing " ../ " in the [files] section