Chargement…
The circuit is combinational and requires one strict internal peak.
Behaviour
a0<a1>a2>a3
a0<a1<a2>a3
i_a0
i_a1
i_a2
i_a3
o_is_bitonic