| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| module rstmgr_bind; |
| |
| bind rstmgr tlul_assert #( |
| .EndpointType("Device") |
| ) tlul_assert_device (.clk_i, .rst_ni, .h2d(tl_i), .d2h(tl_o)); |
| |
| bind rstmgr rstmgr_csr_assert_fpv rstmgr_csr_assert (.clk_i, .rst_ni, .h2d(tl_i), .d2h(tl_o)); |
| |
| bind rstmgr pwrmgr_rstmgr_sva_if pwrmgr_rstmgr_sva_if ( |
| .clk_i(clk_i), |
| .rst_ni(rst_ni), |
| // The inputs from pwrmgr. |
| .rst_lc_req(pwr_i.rst_lc_req), |
| .rst_sys_req(pwr_i.rst_sys_req), |
| .ndm_sys_req(ndmreset_req_i), |
| .reset_cause(pwr_i.reset_cause), |
| // The inputs from rstmgr. |
| .rst_lc_src_n(pwr_o.rst_lc_src_n), |
| .rst_sys_src_n(pwr_o.rst_sys_src_n) |
| ); |
| |
| bind rstmgr rstmgr_cascading_sva_if rstmgr_cascading_sva_if ( |
| .clk_i, |
| .clk_aon_i, |
| .clk_io_div4_i, |
| .clk_io_div2_i, |
| .clk_io_i, |
| .clk_main_i, |
| .clk_usb_i, |
| .por_n_i, |
| .resets_o, |
| .rst_lc_req(pwr_i.rst_lc_req), |
| .rst_sys_req(pwr_i.rst_sys_req), |
| .rst_lc_src_n(pwr_o.rst_lc_src_n), |
| .rst_sys_src_n(pwr_o.rst_sys_src_n), |
| .scan_rst_ni, |
| .scanmode_i |
| ); |
| |
| |
| endmodule |
