The variable 'xlenlim' referenced in the abstract combination of a few bitmanip instructions within the configuration files rv32i_b.cgf, rv32e_b.cgf, and rv64i_b.cgf appears to be "not defined", leading to an error. One instance of this error is in the 'bclr' instruction, where the exact error message is:
ERROR | Error evaluating abstract comb: xlenlim("rs1_val", xlen) in bclr: name 'xlenlim' is not defined
The variable 'xlenlim' referenced in the abstract combination of a few bitmanip instructions within the configuration files rv32i_b.cgf, rv32e_b.cgf, and rv64i_b.cgf appears to be "not defined", leading to an error. One instance of this error is in the 'bclr' instruction, where the exact error message is: ERROR | Error evaluating abstract comb: xlenlim("rs1_val", xlen) in bclr: name 'xlenlim' is not defined