From 6b403d19c78ce5b5618817bba23ee7c8ff76cf08 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Fri, 3 Apr 2020 15:15:54 -0700 Subject: [PATCH] More generic arch/xilinx/fsm test --- tests/arch/xilinx/fsm.ys | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/tests/arch/xilinx/fsm.ys b/tests/arch/xilinx/fsm.ys index fec4c6082..937b3b9df 100644 --- a/tests/arch/xilinx/fsm.ys +++ b/tests/arch/xilinx/fsm.ys @@ -31,8 +31,5 @@ cd fsm # Constrain all select calls below inside the top module stat select -assert-count 1 t:BUFG select -assert-count 6 t:FDRE -select -assert-count 1 t:LUT1 -select -assert-count 3 t:LUT3 -select -assert-count 6 t:LUT4 -select -assert-count 6 t:MUXF5 -select -assert-none t:BUFG t:FDRE t:LUT1 t:LUT3 t:LUT4 t:MUXF5 %% t:* %D +select -assert-any t:LUT* +select -assert-none t:BUFG t:FDRE t:LUT* t:MUXF* %% t:* %D