Try -widemux 4 for more of a challenge

architecture/synth_xilinx_mux/assert_area.py

@@ -10,7 +10,7 @@ area = {}
 #             1  2  3  4  5  6 F7 F8
 area[2]   = [ 0, 0, 1, 0, 0, 0, 0, 0 ]
 area[3]   = [ 0, 0, 0, 0, 1, 0, 0, 0 ]
-area[4]   = [ 0, 0, 0, 0, 0, 1, 0, 0 ]
+area[4]   = [ 0, 0, 0, 0, 0, 0, 2, 1 ]
 area[5]   = [ 0, 0, 2, 0, 0, 0, 1, 1 ]
 area[7]   = [ 0, 0, 3, 0, 0, 0, 2, 1 ]
 area[8]   = [ 0, 0, 4, 0, 0, 0, 2, 1 ]
@@ -21,8 +21,8 @@ area[17]  = [ 0, 0, 1, 0, 0, 4, 2, 1 ]
 area[31]  = [ 0, 0, 1, 0, 1, 7, 4, 2 ]
 area[32]  = [ 0, 0, 1, 0, 0, 8, 4, 2 ]
 area[33]  = [ 0, 0, 0, 0, 1, 8, 4, 2 ]
-area[63]  = [ 0, 0, 0, 0, 1,16, 8, 4 ]
-area[64]  = [ 0, 0, 0, 0, 0,17, 8, 4 ]
+area[63]  = [ 0, 0, 0, 0, 1,15,10, 5 ]
+area[64]  = [ 0, 0, 0, 0, 0,16,10, 5 ]
 area[65]  = [ 0, 0, 2, 0, 0,16, 9, 5 ]
 area[127] = [ 0, 0, 4, 0, 1,31,18, 9 ]
 area[128] = [ 0, 0, 4, 0, 0,32,18, 9 ]

architecture/synth_xilinx_mux/run-test.sh

@@ -26,7 +26,7 @@ python3 generate_large.py
 python3 ../assert_area.py
 ${MAKE:-make} -f ../../../../tools/autotest.mk $seed *.v EXTRA_FLAGS="\
     -p 'design -copy-to __test __test; \
-        synth_xilinx -abc9 -widemux 5; \
+        synth_xilinx -abc9 -widemux 4; \
         design -copy-from __test *; \
         select -assert-any __test; \
         script -scriptwire __test/w:assert_area'\