feat: add RTC wake functionality and related integration

- Introduced  signal in sysctrl interface and module to handle RTC wake events.
- Added RTC wake status register in memory map and updated related tests.
- Integrated RTC wake handling in the APB wrapper and core wrapper.
- Enhanced clock and reset domain configurations to include RTC signals.
- Updated software build configurations to include RTC source files and headers.
- Modified formal verification and testbench files to accommodate RTC wake functionality.
- Ensured proper synchronization and status recording for RTC wake events in the sysctrl module.

scripts/check_clock_reset_domains.py

@@ -13,6 +13,7 @@ from typing import Any
 RESET_PRIMITIVES = {"rst_sync"}
 CDC_PRIMITIVES = {
     "async_fifo",
+    "async_reqack",
     "cdc_2phase",
     "cdc_sync",
     "edge_det",

scripts/run_c_tests.py

@@ -28,6 +28,7 @@ TEST_SOURCES = (
     "rtl/managed/clusterip/ps2/sw/src/ps2.c",
     "rtl/managed/clusterip/ps2/sw/src/ps2_keyboard.c",
     "rtl/managed/clusterip/ps2/sw/src/ps2_mouse.c",
+    "rtl/managed/clusterip/rtc/sw/src/rtc.c",
     "app/media/src/video_player.c",
     "app/media/src/wav_audio.c",
     "tests/c/test_runtime.c",
@@ -86,6 +87,8 @@ def main() -> int:
             "-I",
             str(root / "rtl/managed/clusterip/ps2/sw/include"),
             "-I",
+            str(root / "rtl/managed/clusterip/rtc/sw/include"),
+            "-I",
             str(root / "crt/include"),
             "-I",
             str(root / "app/media/include"),