admin/retroSoC
1
0 Fork 0
mirror of https://github.com/retroSoC/retroSoC.git synced 2026-11-06 14:55:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: update target defines for onchip_ram and add corresponding tests

Browse Source
This commit is contained in:
maksyuki committed 2026-09-02 07:27:32 +08:00
1 parent 2840d22e96
commit e0796271da
2 files changed
+11 -1
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

rtl/mini/formal/generate_formal_filelist.py
+3 -1
View File
@@ -26,7 +26,9 @@ TOP = ROOT / "rtl/mini/top"
def target_defines(target: str) -> list[str]: def target_defines(target: str) -> list[str]:
if target in {"onchip_ram", "opipsram"}: if target == "onchip_ram":
return ["+define+PDK_BEHAV", "+define+SYNTHESIS"]
if target == "opipsram":
return ["+define+PDK_BEHAV"] return ["+define+PDK_BEHAV"]
if target == "sysctrl": if target == "sysctrl":
return ["+define+SV_ASSRT_DISABLE", "+define+MINI_PRODUCT"] return ["+define+SV_ASSRT_DISABLE", "+define+MINI_PRODUCT"]
tests/test_script_tools.py
+8
View File
@@ -327,6 +327,7 @@ def test_formal_filelists_are_scoped_to_the_protocol_duts(tmp_path: Path) -> Non
ws2812_filelist = tmp_path / "ws2812.fl" ws2812_filelist = tmp_path / "ws2812.fl"
i2c_filelist = tmp_path / "i2c.fl" i2c_filelist = tmp_path / "i2c.fl"
clint_filelist = tmp_path / "clint.fl" clint_filelist = tmp_path / "clint.fl"
onchip_ram_filelist = tmp_path / "onchip_ram.fl"
opipsram_filelist = tmp_path / "opipsram.fl" opipsram_filelist = tmp_path / "opipsram.fl"
assert generate_formal_filelist("bus", bus_filelist, memory_map, topology, user_extensions) assert generate_formal_filelist("bus", bus_filelist, memory_map, topology, user_extensions)
assert generate_formal_filelist( assert generate_formal_filelist(
@@ -347,6 +348,9 @@ def test_formal_filelists_are_scoped_to_the_protocol_duts(tmp_path: Path) -> Non
) )
assert generate_formal_filelist("i2c", i2c_filelist, memory_map, topology, user_extensions) assert generate_formal_filelist("i2c", i2c_filelist, memory_map, topology, user_extensions)
assert generate_formal_filelist("clint", clint_filelist, memory_map, topology, user_extensions) assert generate_formal_filelist("clint", clint_filelist, memory_map, topology, user_extensions)
assert generate_formal_filelist(
"onchip_ram", onchip_ram_filelist, memory_map, topology, user_extensions
)
assert generate_formal_filelist( assert generate_formal_filelist(
"opipsram", opipsram_filelist, memory_map, topology, user_extensions "opipsram", opipsram_filelist, memory_map, topology, user_extensions
) )
@@ -360,9 +364,13 @@ def test_formal_filelists_are_scoped_to_the_protocol_duts(tmp_path: Path) -> Non
ws2812 = parse_filelists([ws2812_filelist], require_files=False) ws2812 = parse_filelists([ws2812_filelist], require_files=False)
i2c = parse_filelists([i2c_filelist], require_files=False) i2c = parse_filelists([i2c_filelist], require_files=False)
clint = parse_filelists([clint_filelist], require_files=False) clint = parse_filelists([clint_filelist], require_files=False)
onchip_ram = parse_filelists([onchip_ram_filelist], require_files=False)
opipsram = parse_filelists([opipsram_filelist], require_files=False) opipsram = parse_filelists([opipsram_filelist], require_files=False)
assert "+define+SV_ASSRT_DISABLE" in bus.defines assert "+define+SV_ASSRT_DISABLE" in bus.defines
assert "+define+PDK_BEHAV" in onchip_ram.defines
assert "+define+SYNTHESIS" in onchip_ram.defines
assert "+define+PDK_BEHAV" in opipsram.defines assert "+define+PDK_BEHAV" in opipsram.defines
assert "+define+SYNTHESIS" not in opipsram.defines
assert "+define+SV_ASSRT_DISABLE" not in opipsram.defines assert "+define+SV_ASSRT_DISABLE" not in opipsram.defines
assert ROOT / "rtl/mini/top/rib_bus.sv" in bus.files assert ROOT / "rtl/mini/top/rib_bus.sv" in bus.files
assert ROOT / "rtl/mini/top/rib_if.sv" in bus.files assert ROOT / "rtl/mini/top/rib_if.sv" in bus.files