From 43ece32836d95b9db604d525a64fa119dd7b7195 Mon Sep 17 00:00:00 2001 From: Readon Date: Fri, 10 Nov 2023 13:26:47 +0800 Subject: [PATCH] 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).