Hello,
Can I assume that pow_in cannot be 0000 or 1000 because it is in one hot representation and is less than n = 4?
Thanks a lot
0000 is indeed an invalid value for pow_in. However, 1000 is valid and represents 3 in one-hot representation.
What should pow_in +1 return when pow_in =1000 ?
A situation like this won’t arise during computation of the GCD. As far as the reduction circuit is concerned, any value (e.g. 0000) can be returned in such a scenario.