IDE Visual Studio Code(1.87) w/ platformIO and the yosys extension
As I was getting some code to pass formal verification with 'sby', the visual code "update complete" notification popped up.
my IDE was updated to v1.88.
the next time I ran 'sby', I received an error code
SBY 22:04:02 [counter] base: starting process "cd counter/src& yosys -ql ../model/design.log ../model/design.ys"
SBY 22:04:02 [counter] base: finished (returncode=3221225781)
SBY 22:04:02 [counter] base: task failed. ERROR.
SBY 22:04:02 [counter] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 22:04:02 [counter] summary: Elapsed process time unvailable on Windows
SBY 22:04:02 [counter] summary: engine_0 (smtbmc) did not return a status
SBY 22:04:02 [counter] summary: engine_0 did not produce any traces
SBY 22:04:02 [counter] DONE (ERROR, rc=16)
After restarting my pc, reinstalling visual code(1.87), platformio, oss-cad-suite, the error was still the only output I could get. even running sby -E did not help.
Running :\oss-cad-suite\enviroment.bat did not change is problem. But
running :\oss-cad-suite\start.bat from the 'visual studio' terminal, got me back up and running.
I have no idea what is going on, now if I start visual code, it starts yosys.exe which quickly consume all memory and page resources on my pc (32gig)
One thing I have noticed, after uninstalling, then installing the IDE, none of the extensions where removed. I had to do that manually.
The current working dir was also saved, opening back up when I started visual code after the fresh install.
yosys.exe 100% cpu and 100% memory. on starting visual code.
I managed to close the folder, then visual code, then 'task end' yosys.exe.
But now if I open any folder containing *.v files, yosys.exe starts up and consumes all the ram and cpu