YOSYSHQ

YosysHQ is the organization maintaining Yosys and related tools and projects, such as nextpnr, project icestorm, project trellis, and more... Yosys also serves as backend for several tools that use formal methods to reason about designs, such as sby for SMT-solver-based formal property checking or mcy for evaluating the quality of testbenches with mutation coverage metrics... Yosys is free software licensed under the ISC license (a GPL compatible license that is similar in terms to the MIT license or the 2-clause BSD license).