synth_gatemate: Fix fsm test
authorPatrick Urban <patrick.urban@web.de>
Mon, 11 Oct 2021 08:31:03 +0000 (10:31 +0200)
committerMarcelina Koƛcielnicka <mwk@0x04.net>
Sat, 13 Nov 2021 20:53:25 +0000 (21:53 +0100)
tests/arch/gatemate/fsm.ys

index 39b74c9e0ba6e9684f07c6df1627989c4907b859..6e3e3a1bebb274800321dbdaf5ff635659d9ff14 100644 (file)
@@ -14,7 +14,7 @@ cd fsm # Constrain all select calls below inside the top module
 
 select -assert-count 1 t:CC_BUFG
 select -assert-count 6 t:CC_DFF
-select -assert-count 3 t:CC_LUT2
-select -assert-count 4 t:CC_LUT3
+select -assert-count 4 t:CC_LUT2
+select -assert-count 2 t:CC_LUT3
 select -assert-count 8 t:CC_LUT4
 select -assert-none t:CC_BUFG t:CC_DFF t:CC_LUT2 t:CC_LUT3 t:CC_LUT4 %% t:* %D