From 4649b882386bbcc19ae5ec5940b7639df2fac61f Mon Sep 17 00:00:00 2001 From: Linda Njau Date: Thu, 15 Aug 2024 13:20:30 +0300 Subject: [PATCH] Fix case for Zbc instruction names --- model/riscv_insts_zbc.sail | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/model/riscv_insts_zbc.sail b/model/riscv_insts_zbc.sail index a5db47e2c..452d5eacd 100644 --- a/model/riscv_insts_zbc.sail +++ b/model/riscv_insts_zbc.sail @@ -7,7 +7,7 @@ /*=======================================================================================*/ /* ****************************************************************** */ -$[name "Carry-less multiply (low-part)"] +$[name "carry-less multiply (low-part)"] union clause ast = RISCV_CLMUL : (regidx, regidx, regidx) mapping clause encdec = RISCV_CLMUL(rs2, rs1, rd) if extension("Zbc") | extension("Zbkc") @@ -27,7 +27,7 @@ function clause execute (RISCV_CLMUL(rs2, rs1, rd)) = { } /* ****************************************************************** */ -$[name "Carry-less multiply (high-part)"] +$[name "carry-less multiply (high-part)"] union clause ast = RISCV_CLMULH : (regidx, regidx, regidx) mapping clause encdec = RISCV_CLMULH(rs2, rs1, rd) if extension("Zbc") | extension("Zbkc") @@ -47,7 +47,7 @@ function clause execute (RISCV_CLMULH(rs2, rs1, rd)) = { } /* ****************************************************************** */ -$[name "Carry-less multiply (reversed)"] +$[name "carry-less multiply (reversed)"] union clause ast = RISCV_CLMULR : (regidx, regidx, regidx) mapping clause encdec = RISCV_CLMULR(rs2, rs1, rd) if extension("Zbc")