From 7a5fadaff1641bd52deb71bd6061d49064d647d0 Mon Sep 17 00:00:00 2001 From: Yindong Date: Thu, 9 Nov 2023 18:09:04 +0800 Subject: [PATCH 1/3] add explaination on all-in-one offline installer. --- source/SpinalHDL/Getting Started/Install and setup.rst | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/source/SpinalHDL/Getting Started/Install and setup.rst b/source/SpinalHDL/Getting Started/Install and setup.rst index fa880dd63b9..3f87478eac6 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 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 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ From 3229f42d06e22620d0b77fbe8ea1411eb1b93a8b Mon Sep 17 00:00:00 2001 From: Readon Date: Fri, 10 Nov 2023 13:22:12 +0800 Subject: [PATCH 2/3] Update source/SpinalHDL/Getting Started/Install and setup.rst Co-authored-by: Andreas Wallner --- source/SpinalHDL/Getting Started/Install and setup.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/SpinalHDL/Getting Started/Install and setup.rst b/source/SpinalHDL/Getting Started/Install and setup.rst index 3f87478eac6..4a45bf567d3 100644 --- a/source/SpinalHDL/Getting Started/Install and setup.rst +++ b/source/SpinalHDL/Getting Started/Install and setup.rst @@ -146,7 +146,7 @@ This is sufficient for generating hardware. For simulation continue with either 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 is available to install and run SpinalHDL with Verilator simulation and formal verification via SymbiYosys. + 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. From 43ece32836d95b9db604d525a64fa119dd7b7195 Mon Sep 17 00:00:00 2001 From: Readon Date: Fri, 10 Nov 2023 13:26:47 +0800 Subject: [PATCH 3/3] Update Install and setup.rst for more details on yosys-smtbmc. yosys is available in MSYS2 official repos, but yosys-smtbmc do not work. --- source/SpinalHDL/Getting Started/Install and setup.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/SpinalHDL/Getting Started/Install and setup.rst b/source/SpinalHDL/Getting Started/Install and setup.rst index 4a45bf567d3..5d6e14c9a4d 100644 --- a/source/SpinalHDL/Getting Started/Install and setup.rst +++ b/source/SpinalHDL/Getting Started/Install and setup.rst @@ -195,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).