fix: update extensionEnabled function for Ext_Zcmp

riscv · Feb 12, 2025 · 4c9e992 · 4c9e992
1 parent 35757b9
commit 4c9e992
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/riscv_insts_zcmp.sail b/model/riscv_insts_zcmp.sail
@@ -7,7 +7,7 @@
 /*=======================================================================================*/
 
 
-function clause extensionEnabled(Ext_Zcmp) = extensionEnabled(Ext_Zca) & not(extensionEnabled(Ext_Zcd)) & (xlen == 32 | xlen == 64)
+function clause extensionEnabled(Ext_Zcmp) = extensionEnabled(Ext_Zca) & sys_enable_zcmp() & not(sys_enable_zcd()) & (xlen == 32 | xlen == 64)
 
 function str_dec(str: string) -> int = {
   let base : int = 10;