Opt_delay never sets bit 255 of the output, so for i=256, the output is 0111 1111 ... when it should be 1111 1111 ...
see i < ((2**DIN_WIDTH)-1) on line 15
https://github.com/scale-lab/Pluto/blob/main/problems/easy/binary_to_thermometer_decoder/opt_delay.v
Opt_delay never sets bit 255 of the output, so for i=256, the output is 0111 1111 ... when it should be 1111 1111 ...
see i < ((2**DIN_WIDTH)-1) on line 15
https://github.com/scale-lab/Pluto/blob/main/problems/easy/binary_to_thermometer_decoder/opt_delay.v