| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| module top_earlgrey_bind; |
| |
| // This is bound directly to top_earlgrey since neither pwrmgr nor rstmgr see all necessary |
| // signals. |
| bind top_earlgrey pwrmgr_rstmgr_sva_if pwrmgr_rstmgr_sva_if ( |
| .clk_i(u_pwrmgr_aon.clk_i), |
| .rst_ni(u_pwrmgr_aon.rst_ni), |
| .clk_slow_i(u_pwrmgr_aon.clk_slow_i), |
| .rst_slow_ni(u_pwrmgr_aon.rst_slow_ni), |
| // Input resets. |
| .rstreqs_i(u_pwrmgr_aon.rstreqs_i), |
| .reset_en(u_pwrmgr_aon.reg2hw.reset_en), |
| .sw_rst_req_i(prim_mubi_pkg::mubi4_test_true_strict(u_pwrmgr_aon.sw_rst_req_i)), |
| .main_rst_req_i(!u_pwrmgr_aon.rst_main_ni), |
| .esc_rst_req_i(u_pwrmgr_aon.esc_rst_req), |
| // The outputs from pwrmgr. |
| .rst_lc_req(u_pwrmgr_aon.pwr_rst_o.rst_lc_req), |
| .rst_sys_req(u_pwrmgr_aon.pwr_rst_o.rst_sys_req), |
| .rstreqs(u_pwrmgr_aon.pwr_rst_o.rstreqs), |
| .main_pd_n(u_pwrmgr_aon.pwr_ast_o.main_pd_n), |
| .reset_cause(u_pwrmgr_aon.pwr_rst_o.reset_cause), |
| // This goes directly to rstmgr and can trigger rst_sys_src_n. |
| .ndm_sys_req(u_rstmgr_aon.ndmreset_req_i), |
| // The inputs from rstmgr. |
| .rst_lc_src_n(u_pwrmgr_aon.pwr_rst_i.rst_lc_src_n), |
| .rst_sys_src_n(u_pwrmgr_aon.pwr_rst_i.rst_sys_src_n) |
| ); |
| |
| endmodule |
