Supporting XOR gates and new ISCAS89 benches