diff --git a/model/riscv_insts_zca.sail b/model/riscv_insts_zca.sail index 5cc4f26df..2e08c179e 100644 --- a/model/riscv_insts_zca.sail +++ b/model/riscv_insts_zca.sail @@ -377,7 +377,7 @@ function clause execute (C_J(imm)) = execute(RISCV_JAL(sign_extend(imm @ 0b0), zreg)) mapping clause assembly = C_J(imm) - <-> "c.j" ^ spc() ^ hex_bits_signed_11(imm) + <-> "c.j" ^ spc() ^ hex_bits_signed_12(imm @ 0b0) /* ****************************************************************** */ union clause ast = C_BEQZ : (bits(8), cregidx)