TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys

5 points | by todsacerdoti 2 days ago