Development Builds

Pre-built binaries

Our CI pushed pre-built binaries to the symbiotic-blank-builds bucket. Just download the most recent one. Those builds are valid for 10 days before they expire.

External users can download those builds, but cannot browse the bucket. It's okay to send a download link for a build to a customer so they can test fixes/features we added for them.

Building Yosys with Verific

Download the latest build of the Verific library from the symbiotic-verific-builds bucket and make the extracted directory your /usr/local/src/verific_lib/.

Then add ENABLE_VERIFIC := 1 to your Yosys Makefile.conf, run make clean once, and then just build Yosys as usual.

Documentation

Right now SES documentation is a mess. See Documentation for some pointers to what we currently have.

Ongoing Dev Projects

Slack: #yosys

Please attend the Yosys Dev Jour Fixe every Thursday if you are involved in Yosys / SES development.

mcy - Mutation Cover with Yosys

Slack: #mcy

mcy is currently being beta tested with OpenHW Group by Nina.

eqy - EQuivalence checking with Yosysy

Slack: #eqy

eqy is currently in the early stages of development.

See this document for a project outline and roadmap.