all the testbench from GSRC HARD for SOC Redundancy Optimization