search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387 stars 73 forks source link

SymbiYosys tags and known working version of Yosys #157

Closed vmunoz82 closed 2 years ago

vmunoz82 commented 2 years ago

Hi! Trying the latest (0.16) tag of yosys with the master sby version #156 I got the following error:

"base: ERROR: No such command: write_jny (type 'help' for a command overview)"

As such yosys version don't have yet write_jny command, I found that going back to 4886ed7e1999fd24a6e4d4383bc4fa1f91c2484e works OK for me.

The latest commit on master of sby is supposed to work on pair with the latest commit of sby master version?

nakengelhardt commented 2 years ago

Yes, it is intended to work if you take versions of both from the same day (as the nightly build does). When changes are required on both sides, we usually merge modifications in yosys first and sby the next day (when the sby CI has received the new nightly yosys build from OSS CAD Suite and the tests pass).

lethalbit commented 2 years ago

Closing as the latest tagged version of Yosys supports the write_jny command now.