diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl
index 114ebe4dc..0b5460be8 100644
--- a/tests/techmap/han-carlson.tcl
+++ b/tests/techmap/han-carlson.tcl
@@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} {
     design -load init
     chparam -set WIDTH $i
     yosys proc
-    equiv_make -blacklist han-carlson.nomatch lcu _85_lcu_han_carlson equiv
+    equiv_make -blacklist ppa.nomatch lcu _85_lcu_han_carlson equiv
     equiv_simple equiv
     equiv_status -assert equiv
 }
diff --git a/tests/techmap/kogge-stone.tcl b/tests/techmap/kogge-stone.tcl
new file mode 100644
index 000000000..e5f4e812c
--- /dev/null
+++ b/tests/techmap/kogge-stone.tcl
@@ -0,0 +1,14 @@
+yosys -import
+
+read_verilog +/choices/kogge-stone.v
+read_verilog lcu_refined.v
+design -save init
+
+for {set i 1} {$i <= 16} {incr i} {
+    design -load init
+    chparam -set WIDTH $i
+    yosys proc
+    equiv_make -blacklist ppa.nomatch lcu _80_lcu_kogge_stone equiv
+    equiv_simple equiv
+    equiv_status -assert equiv
+}
diff --git a/tests/techmap/kogge-stone.ys b/tests/techmap/kogge-stone.ys
deleted file mode 100644
index fc3637f10..000000000
--- a/tests/techmap/kogge-stone.ys
+++ /dev/null
@@ -1 +0,0 @@
-test_cell -s 1711533949 -n 10 -map +/techmap.v -map +/choices/kogge-stone.v $lcu
diff --git a/tests/techmap/han-carlson.nomatch b/tests/techmap/ppa.nomatch
similarity index 50%
rename from tests/techmap/han-carlson.nomatch
rename to tests/techmap/ppa.nomatch
index 142d509b3..7388135e1 100644
--- a/tests/techmap/han-carlson.nomatch
+++ b/tests/techmap/ppa.nomatch
@@ -1,2 +1,2 @@
 i
-j
\ No newline at end of file
+j