Credit: Hacker's Delight, Section 2-1: Manipulating Rightmost Bits
Use the following formula to turn off the trailing 1’s in a word, producing the original input if none (e.g., 10100111 -> 10100000)
This can be used to determine if an unsigned integer is of the form (2^n)-1, 0, or all 1’s: apply the formula followed by a 0-test on the result.
`default_nettype none module Turn_Off_Trailing_1_Bits #( parameter WORD_WIDTH = 0 ) ( input wire [WORD_WIDTH-1:0] word_in, output reg [WORD_WIDTH-1:0] word_out ); initial begin word_out = {WORD_WIDTH{1'b0}}; end localparam ONE = {{WORD_WIDTH-1{1'b0}},1'b1}; always @(*) begin word_out = word_in & (word_in + ONE); end endmodule