add lut tests

tests/arch/nanoxplore/.gitignore

@@ -0,0 +1,2 @@
+*.log
+/run-test.mk

tests/arch/nanoxplore/logic.ys

@@ -0,0 +1,9 @@
+read_verilog ../common/logic.v
+hierarchy -top top
+proc
+equiv_opt -assert -map +/nanoxplore/cells_sim.v synth_nanoxplore # equivalency check
+design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
+cd top # Constrain all select calls below inside the top module
+
+select -assert-count 9 t:NX_LUT
+select -assert-none t:NX_LUT %% t:* %D

tests/arch/nanoxplore/run-test.sh

@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+set -eu
+source ../../gen-tests-makefile.sh
+run_tests --yosys-scripts --bash --yosys-args "-w 'Yosys has only limited support for tri-state logic at the moment.'"