Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis