| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| // |
| //================================================== |
| // This file contains the Excluded objects |
| // Generated By User: maturana |
| // Format Version: 2 |
| // Date: Wed Nov 16 12:45:49 2022 |
| // ExclMode: default |
| //================================================== |
| CHECKSUM: "3681358461" |
| INSTANCE: tb.dut.u_child_handshake |
| ANNOTATION: "[UNR] src_req_i and req_chk_i are tied to constants" |
| Assert SyncReqAckHoldReq "assertion" |