Package: pwrmgr_pkg
- File: pwrmgr_rstmgr_sva_if.sv
Description
Copyright lowRISC contributors.
Licensed under the Apache License, Version 2.0, see LICENSE for details.
SPDX-License-Identifier: Apache-2.0
This has some assertions that check the inputs from rstmgr react according to
the pwrmgr outputs. The rstmgr inputs are generated by the base sequences, but
these assertions will also be useful at full chip level.
The inputs from pwrmgr.