[kmac] Fixing Enum state again
Missed to revise the State Enum in the assertion in b1041a90e83e7ad81f6adb130a0336e8e905ed4d
Signed-off-by: Eunchan Kim <eunchan@opentitan.org>
diff --git a/hw/ip/kmac/rtl/kmac_core.sv b/hw/ip/kmac/rtl/kmac_core.sv
index 41051a7..69ec735 100644
--- a/hw/ip/kmac/rtl/kmac_core.sv
+++ b/hw/ip/kmac/rtl/kmac_core.sv
@@ -380,11 +380,11 @@
st == StKmacMsg && process_latched |=> !process_latched)
// Assume configuration is stable during the operation
- `ASSUME(KmacEnStable_M, $changed(kmac_en_i) |-> st == StIdle)
- `ASSUME(ModeStable_M, $changed(mode_i) |-> st == StIdle)
- `ASSUME(StrengthStable_M, $changed(strength_i) |-> st == StIdle)
- `ASSUME(KeyLengthStable_M, $changed(key_len_i) |-> st == StIdle)
- `ASSUME(KeyDataStable_M, $changed(key_data_i) |-> st == StIdle)
+ `ASSUME(KmacEnStable_M, $changed(kmac_en_i) |-> st == StKmacIdle)
+ `ASSUME(ModeStable_M, $changed(mode_i) |-> st == StKmacIdle)
+ `ASSUME(StrengthStable_M, $changed(strength_i) |-> st == StKmacIdle)
+ `ASSUME(KeyLengthStable_M, $changed(key_len_i) |-> st == StKmacIdle)
+ `ASSUME(KeyDataStable_M, $changed(key_data_i) |-> st == StKmacIdle)
// no acked to MsgFIFO in StKmacMsg
`ASSERT(AckOnlyInMessageState_A,
