[rtl/lc] Fix assertion typo This PR fixes an assertion typo of a signal name mismatch. Signed-off-by: Cindy Chen <chencindy@google.com>
diff --git a/hw/ip/lc_ctrl/rtl/lc_ctrl_fsm.sv b/hw/ip/lc_ctrl/rtl/lc_ctrl_fsm.sv index e5c4809..837e55c 100644 --- a/hw/ip/lc_ctrl/rtl/lc_ctrl_fsm.sv +++ b/hw/ip/lc_ctrl/rtl/lc_ctrl_fsm.sv
@@ -439,9 +439,9 @@ //////////////// `ASSERT(ClkBypStaysOnOnceAsserted_A, - lc_escalate_en_q == On + lc_escalate_en_o == On |=> - lc_escalate_en_q == On) + lc_escalate_en_o == On) `ASSERT(FlashRmaStaysOnOnceAsserted_A, lc_flash_rma_req_o == On