3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-11 03:33:36 +00:00

proc_rom: test src attribute on memories

This commit is contained in:
Emil J. Tywoniak 2024-07-25 22:09:13 +02:00
parent 57852ff28f
commit 2afef07087

View file

@ -33,7 +33,7 @@ hierarchy -auto-top
design -save orig
proc
select -assert-count 1 t:$memrd_v2
select -assert-count 1 t:$memrd_v2 a:src %i
memory
opt_dff
design -stash postopt
@ -80,7 +80,7 @@ hierarchy -auto-top
design -save orig
proc
select -assert-count 1 t:$memrd_v2
select -assert-count 1 t:$memrd_v2 a:src %i
memory
opt_dff
design -stash postopt
@ -127,7 +127,7 @@ hierarchy -auto-top
design -save orig
proc
select -assert-count 1 t:$memrd_v2
select -assert-count 1 t:$memrd_v2 a:src %i
memory
opt_dff
design -stash postopt
@ -175,7 +175,7 @@ hierarchy -auto-top
design -save orig
proc
select -assert-count 1 t:$memrd_v2
select -assert-count 1 t:$memrd_v2 a:src %i
memory
opt_dff
design -stash postopt