Question of the step 5

[Leling666]

Thank you for your nice work!
In the Step you mentioned : "5.Install yosys along with yosys-abc and set it in the path."
Is it necessary to downloadyosys along with yosys-abc? And what is the path? I didn't found any parameter to set yosys path.