An open source FPGA toolchain for a large European space-grade FPGA

Solving a Sudoku with SBY and Formal Verification

Logic Primitive Transformations with Yosys Techmap