From 150900b05c30fe26c27c33036de1360bd304309f Mon Sep 17 00:00:00 2001 From: maksyuki Date: Mon, 10 Aug 2026 14:25:04 +0800 Subject: [PATCH] feat: add cdc_sync.sv to sysctrl source files in formal filelist generation --- rtl/mini/formal/generate_formal_filelist.py | 1 + tests/test_script_tools.py | 1 + 2 files changed, 2 insertions(+) diff --git a/rtl/mini/formal/generate_formal_filelist.py b/rtl/mini/formal/generate_formal_filelist.py index cdbaaba4..63f8bca2 100644 --- a/rtl/mini/formal/generate_formal_filelist.py +++ b/rtl/mini/formal/generate_formal_filelist.py @@ -64,6 +64,7 @@ def source_files(target: str) -> list[Path]: if target == "sysctrl": return [ *common, + COMMON_RTL / "cdc/cdc_sync.sv", PERIPHERAL / "pll_ctrl_if.sv", PERIPHERAL / "sysctrl.sv", SCRIPT_DIR / "sysctrl_formal.sv", diff --git a/tests/test_script_tools.py b/tests/test_script_tools.py index a305d481..028a2fe5 100644 --- a/tests/test_script_tools.py +++ b/tests/test_script_tools.py @@ -255,6 +255,7 @@ def test_formal_filelists_are_scoped_to_the_protocol_duts(tmp_path: Path) -> Non assert ROOT / "rtl/mini/formal/rib2apb_formal.sv" in rib2apb.files assert ROOT / "rtl/managed/clusterip/common/rtl/interface/apb4_pure_if.sv" in rib2apb.files assert ROOT / "rtl/ip/ribp/peripheral/sysctrl.sv" in sysctrl.files + assert ROOT / "rtl/managed/clusterip/common/rtl/cdc/cdc_sync.sv" in sysctrl.files assert ROOT / "rtl/mini/formal/sysctrl_formal.sv" in sysctrl.files assert ROOT / "rtl/mini/top/rcu.sv" in pll_rcu.files assert ROOT / "rtl/managed/clusterip/common/rtl/cdc/cdc_2phase.sv" in pll_rcu.files