aboutsummaryrefslogtreecommitdiffstats
path: root/tests/arch/gatemate/mul.ys
diff options
context:
space:
mode:
Diffstat (limited to 'tests/arch/gatemate/mul.ys')
-rw-r--r--tests/arch/gatemate/mul.ys2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/arch/gatemate/mul.ys b/tests/arch/gatemate/mul.ys
index d10d07f1e..ded5fe729 100644
--- a/tests/arch/gatemate/mul.ys
+++ b/tests/arch/gatemate/mul.ys
@@ -28,6 +28,6 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
cd mul_unsigned_sync # Constrain all select calls below inside the top module
select -assert-count 1 t:CC_MULT
select -assert-count 1 t:CC_BUFG
-select -assert-count 18 t:CC_LUT4
+select -assert-max 18 t:CC_LUT4
select -assert-count 18 t:CC_DFF
select -assert-none t:CC_MULT t:CC_BUFG t:CC_LUT4 t:CC_DFF %% t:* %D