don't cound exact luts in big muxes; futile and fragile

diff --git a/tests/arch/gowin/mux.ys b/tests/arch/gowin/mux.ys
index 1cb3d53e607a4a44d7ac294e94b57c370e36450f..f7e478c876ba9a98a263d63e12341e99f0691c49 100644 (file)
--- a/tests/arch/gowin/mux.ys
+++ b/tests/arch/gowin/mux.ys
@@ -30,7 +30,6 @@ proc
 equiv_opt -assert -map +/gowin/cells_sim.v synth_gowin -nowidelut # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux8 # Constrain all select calls below inside the top module
-select -assert-count 5 t:LUT4
 select -assert-count 11 t:IBUF
 select -assert-count 1 t:OBUF
 
@@ -42,8 +41,6 @@ proc
 equiv_opt -assert -map +/gowin/cells_sim.v synth_gowin -nowidelut # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux16 # Constrain all select calls below inside the top module
-select -assert-count 10 t:LUT4
-select -assert-count 1 t:LUT3
 select -assert-count 20 t:IBUF
 select -assert-count 1 t:OBUF