in the condition when pow_out = pow_in +1 ,
if pow in= 1000 which of course i know couldn’t get +1 because of the algorithm, but in the circuit it is still possible. should pow_out= (1000)+1= 0000 or should i implement pow_out=(1000)+1=(0001) .
i understand it doesn’t effect the algorithm but since each circuit is graded independently i would like to know.
In general, if the functionality for a particular case is not defined, it means that your output can take any value.
Both of the options you suggest are reasonable. The validation system will accept any value of pow_out when pow_in = 1000 and needs to be incremented by 1.