| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| ANNOTATION: "[LOWRISK] non-idle -> error" |
| INSTANCE: tb.dut.u_kmac_if |
| Fsm state_q "3597806508" |
| Transition StTxLast->StError "320->238" |
| Fsm state_q "3597806508" |
| Transition StTx->StError "155->238" |
| Fsm state_q "3597806508" |
| Transition StOpWait->StError "553->238" |
| Fsm state_q "3597806508" |
| Transition StClean->StError "1021->238" |
| ANNOTATION: "[UNR]" |
| Fsm state_q "3597806508" |
| Transition StIdle->StTxLast "930->320" |
| CHECKSUM: "4091831965" |
| INSTANCE: tb.dut.u_reseed_ctrl.u_edn_req.u_prim_packer_fifo |
| ANNOTATION: "[UNR] rready_i is tied to 1 from prim_edn_req module." |
| Assert DataOStableWhenPending_A "assertion" |
| ANNOTATION: "[UNR] rready_i is tied to 1 from prim_edn_req module." |
| Assert ValidOPairedWithReadyI_A "assertion" |
