TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys

6 points by pbsds