rtl gate and gate_sdf results matching