blob: 202e253ca58da9e97bfe38032bb1010d6d25ef05 [file] [log] [blame]
// 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: jdonjdon
// Format Version: 2
// Date: Sun Sep 25 22:09:48 2022
// ExclMode: default
//==================================================
CHECKSUM: "2301929872 963630968"
INSTANCE: tb.dut.u_esc_rx.u_prim_count
ANNOTATION: "[UNSUPPORTED] Ports are assigned constant by RTL."
Toggle step_i "net step_i[21:0]"
Toggle set_cnt_i "net set_cnt_i[21:0]"
CHECKSUM: "3681358461"
INSTANCE: tb.dut.u_esc_timeout.u_ref_timeout
ANNOTATION: "[UNR] Input req_chk_i is tied to constant 0 and src_req_i to constant 1"
Assert SyncReqAckHoldReq "assertion"
CHECKSUM: "2699797328"
INSTANCE: tb.dut.pwrmgr_ast_sva_if
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert CoreClkGlitchToEnOff_A "assertion"
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert UsbClkGlitchToValOff_A "assertion"
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert UsbClkGlitchToEnOff_A "assertion"
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert IoClkGlitchToValOff_A "assertion"
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert IoClkGlitchToEnOff_A "assertion"
ANNOTATION: "[UNR] por_d0_ni input is tied to constant 1"
Assert CoreClkGlitchToValOff_A "assertion"