diff --git a/source/SpinalHDL/Getting Started/Install and setup.rst b/source/SpinalHDL/Getting Started/Install and setup.rst index fa880dd63b9..5d6e14c9a4d 100644 --- a/source/SpinalHDL/Getting Started/Install and setup.rst +++ b/source/SpinalHDL/Getting Started/Install and setup.rst @@ -145,6 +145,15 @@ when asked agree to an update of your ``PATH`` variable. Reboot to force an upda This is sufficient for generating hardware. For simulation continue with either choice below. In case you want to build the tools yourself have a look at the legacy simulation tool :ref:`installation instructions `. +.. note:: + An All-in-One solution offered by SpinalHDL maintainer `Readon ` is available to install and run SpinalHDL with Verilator simulation and formal verification via SymbiYosys. + Download `it `_ and install the environment anywhere on your disk. + Start the build environment by clicking on the MSYS2-MINGW64 icon in the Start menu and use the MSYS2 default console. + An alternative is to use the Windows Terminal or a Tabby-like application and use the startup command ``%MSYS2_ROOT%\msys2_shell.cmd -defterm -here -no-start -mingw64``, where the ``%MSYS2_ROOT%`` is the location of the msys2 installation. + It is worth noting that if you want to use it offline, you should carefully select the libraries that the project depends on, otherwise you will need to download the packages manually. + See the README for the repos for more details. + + MSYS2 verilator for simulation ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ @@ -186,7 +195,7 @@ With this you should be able to run sbt/verilator simulations from MSYS2 termina MSYS2 for formal verification ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -In addition to the steps above we also need to install yosys, sby, z3 and yices. Both yosys and sby are +In addition to the steps above we also need to install yosys, sby, z3 and yices. Both yosys(yosys-smtbmc workable) and sby are not available as official MSYS2 packages, but packages are provided by `Readon `. If you used their installer then these steps are not needed (you should check if there are newer packages available).