Fix synthesis error
Simplify idx_to_oh