From a41ef0271ce922a9a945e5c97a65ca68b8a2df22 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Fri, 29 Nov 2024 00:03:49 +0100
Subject: [PATCH] techmap: remove ppa.nomatch by purging internal signals

---
 tests/techmap/han-carlson.tcl | 3 ++-
 tests/techmap/kogge-stone.tcl | 3 ++-
 tests/techmap/ppa.nomatch     | 2 --
 3 files changed, 4 insertions(+), 4 deletions(-)
 delete mode 100644 tests/techmap/ppa.nomatch

diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl
index 56a671ae6..3d32c7e02 100644
--- a/tests/techmap/han-carlson.tcl
+++ b/tests/techmap/han-carlson.tcl
@@ -8,7 +8,8 @@ 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_han_carlson equiv
+    opt_clean -purge
+    equiv_make lcu _80_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
index e5f4e812c..243706284 100644
--- a/tests/techmap/kogge-stone.tcl
+++ b/tests/techmap/kogge-stone.tcl
@@ -8,7 +8,8 @@ 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
+    opt_clean -purge
+    equiv_make lcu _80_lcu_kogge_stone equiv
     equiv_simple equiv
     equiv_status -assert equiv
 }
diff --git a/tests/techmap/ppa.nomatch b/tests/techmap/ppa.nomatch
deleted file mode 100644
index 7388135e1..000000000
--- a/tests/techmap/ppa.nomatch
+++ /dev/null
@@ -1,2 +0,0 @@
-i
-j