Binary Search

The circuit is combinational and follows a fixed binary-search decision order.

Behaviour

• Inputs i_a0..i_a3 must be sorted.
• o_found=1 if the target is present.
• o_index returns the found index, otherwise zero.