Recherche binaire

Le circuit est combinatoire et suit l’ordre de décision d’une recherche binaire fixe.

Comportement

• Les entrées i_a0..i_a3 doivent être triées.
• o_found=1 si la cible est présente.
• o_index retourne l’indice trouvé, sinon zéro.