All Tools
O
Dev ToolsFreeOpen Source
OSS CAD SUITE
Nightly builds of open-source digital design and verification tools
ISC
ABOUT
Open FPGA and formal tools each have their own build and solver dependencies. OSS CAD Suite ships nightly binaries of Yosys, nextpnr, sby, and programmers so teams get a working CAD flow without compiling every package.
INTEGRATION GUIDE
1. Install Yosys, nextpnr, and sby from one nightly tarball
2. Run a formal proof with bundled SMT solvers instead of compiling them
3. Program an iCE40 or ECP5 board with the included openFPGALoader
4. Teach an FPGA lab from a single portable toolchain archive
TAGS
oss-cad-suiteyosysfpgaformal-verificationnextpnredatoolchain