| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // this sequence responses to escalation pins by sending the resp pins | |
| class esc_receiver_esc_rsp_seq extends esc_receiver_base_seq; | |
| `uvm_object_utils(esc_receiver_esc_rsp_seq) | |
| `uvm_object_new | |
| constraint esc_receiver_esc_rsp_seq_c { | |
| r_esc_rsp == 1; | |
| } | |
| endclass : esc_receiver_esc_rsp_seq |