TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys

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