GCD by Subtractions

i_start loads i_a and i_b when o_ready='1'. While both values differ, the larger operand is replaced by the difference between the larger and the smaller. When both values are equal, o_r contains the GCD and o_ready returns to '1'. Cases with zero must return the other operand.