From fb34167fd46e53e542b0b9f02e4b9eac5209aa21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Thu, 30 Nov 2023 13:43:56 +0100 Subject: [PATCH] fixup! quicklogic: Add basic k6n10f tests --- tests/arch/quicklogic/qlf_k6n10f/mux.ys | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/arch/quicklogic/qlf_k6n10f/mux.ys b/tests/arch/quicklogic/qlf_k6n10f/mux.ys index 97e25cab0..633b5fc86 100644 --- a/tests/arch/quicklogic/qlf_k6n10f/mux.ys +++ b/tests/arch/quicklogic/qlf_k6n10f/mux.ys @@ -36,4 +36,5 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p cd mux16 # Constrain all select calls below inside the top module select -assert-max 5 t:$lut r:WIDTH=6 %i # OOT flow does 2 select -assert-max 1 t:$lut r:WIDTH=3 %i # and here 1 -select -assert-none t:$lut r:WIDTH=6 r:WIDTH=3 %u %i %% t:* %D +select -assert-max 1 t:$lut r:WIDTH=4 r:WIDTH=5 %u %i +select -assert-none t:$lut r:WIDTH>2 %i %% t:* %D