YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
30 stars 5 forks source link

Allow yosys-config executable path to be overriden #39

Closed rbarzic closed 1 year ago

rbarzic commented 1 year ago

It makes eqy easier to install using tools like Ansible when Yosys is not installed in a default path