mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-17 01:46:41 +00:00
Code Activity

quicklogic: Initial blockram tests

Browse source 
Use python script to generate tests for both SDP and TDP across multiple sizes of RAM.
Adds sync_ram_sdp_(wwr|wrr) to common blockram.v for double width write and double width read respectively.
This commit is contained in:
Krystine Sherwin 2023-11-29 16:48:20 +13:00 • committed by Martin Povišer
parent fb34167fd4
commit 0cd67ce473
3 changed files with 103 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

51
tests/arch/quicklogic/qlf_k6n10f/gen_memories.py Normal file
View file

@ -0,0 +1,51 @@
blockram_template = """\
design -reset; read_verilog -defer ../../common/blockram.v
chparam -set ADDRESS_WIDTH {aw} -set DATA_WIDTH {dw} {top}
hierarchy -top {top}
synth_quicklogic -family qlf_k6n10f -top {top}; cd {top}
log TESTING aw:{aw} dw:{dw} top:{top}\
"""
blockram_tests: "list[tuple[int, int, str, list[str]]]" = [
# TDP36K = 1024x36bit RAM, 2048x18bit or 4096x9bit also work
(10, 36, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(11, 18, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(12, 9, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
# larger sizes need an extra ram
(10, 48, "sync_ram_*dp", ["-assert-count 2 t:TDP36K"]),
(11, 36, "sync_ram_*dp", ["-assert-count 2 t:TDP36K"]),
(12, 18, "sync_ram_*dp", ["-assert-count 2 t:TDP36K"]),
(12, 10, "sync_ram_*dp", ["-assert-count 2 t:TDP36K"]),
# 4096x20bit *can* fit in 3, albeit somewhat awkwardly
(12, 20, "sync_ram_*dp", ["-assert-min 3 t:TDP36K",
"-assert-max 4 t:TDP36K"]),
# smaller sizes can still fit in one
(10, 32, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(10, 18, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(10, 9, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(11, 16, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(11, 9, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(12, 8, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(13, 4, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(14, 2, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
(15, 1, "sync_ram_*dp", ["-assert-count 1 t:TDP36K"]),
# 2x write width (1024x36bit write / 2048x18bit read = 1TDP36K)
(11, 18, "sync_ram_sdp_wwr", ["-assert-count 1 t:TDP36K"]),
(11, 9, "sync_ram_sdp_wwr", ["-assert-count 1 t:TDP36K"]),
# 2x read width (1024x36bit read / 2048x18bit write = 1TDP36K)
(11, 18, "sync_ram_sdp_wrr", ["-assert-count 1 t:TDP36K"]),
(10, 36, "sync_ram_sdp_wrr", ["-assert-count 1 t:TDP36K"]),
]
with open("t_mem.ys", mode="w") as f:
for (aw, dw, top, assertions) in blockram_tests:
if "*" in top:
star_sub = ["s", "t"]
else:
star_sub = [""]
for sub in star_sub:
print(
blockram_template.format(aw=aw, dw=dw, top=top.replace("*", sub)),
file=f
)
for assertion in assertions:
print("select {}\n".format(assertion), file=f, end=None)