about priority_encoder

[cjzdd]

why not
assign output= input &(~(input -1));

[alexforencich]

That just resolves the priority but encodes it as a one-hot instead of binary.