From 57eb30cf51bab473884a6f89ab56c720c072f9ac Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Tue, 5 May 2026 20:09:41 +0200
Subject: [PATCH] Add more correctness tests.

---
 tests/techmap/abc_new_box.ys               | 18 ++++++++++++++++++
 tests/techmap/abc_new_equiv_opt.ys         | 14 ++++++++++++++
 tests/techmap/abc_new_keep.ys              | 12 ++++++++++++
 tests/techmap/abc_new_temp_sanitization.ys | 11 +++++++++++
 4 files changed, 55 insertions(+)
 create mode 100644 tests/techmap/abc_new_box.ys
 create mode 100644 tests/techmap/abc_new_equiv_opt.ys
 create mode 100644 tests/techmap/abc_new_keep.ys
 create mode 100644 tests/techmap/abc_new_temp_sanitization.ys

diff --git a/tests/techmap/abc_new_box.ys b/tests/techmap/abc_new_box.ys
new file mode 100644
index 000000000..0df2a0380
--- /dev/null
+++ b/tests/techmap/abc_new_box.ys
@@ -0,0 +1,18 @@
+read_verilog -icells -specify <<EOT
+(* abc9_box, blackbox *)
+module box1(input i, output o);
+specify
+	(i => o) = 1;
+endspecify
+endmodule
+
+module top(input a, input b, output o);
+	wire z;
+	$_AND_ gate(.A(a), .B(b), .Y(o));
+	box1 u_box(.i(a), .o(z));
+endmodule
+EOT
+
+hierarchy -check -top top
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+select -assert-min 1 t:*
diff --git a/tests/techmap/abc_new_equiv_opt.ys b/tests/techmap/abc_new_equiv_opt.ys
new file mode 100644
index 000000000..9976859c6
--- /dev/null
+++ b/tests/techmap/abc_new_equiv_opt.ys
@@ -0,0 +1,14 @@
+read_verilog <<EOT
+module top(input a, input b, input c, output y, output z);
+	assign y = ~(a & b);
+	assign z = ~(a | c);
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+
+select -assert-min 1 t:NAND
+select -assert-min 1 t:NOR
+select -assert-min 1 t:NAND t:NOT t:NOR t:BUF %u
+select -assert-none t:$_AND_ t:$_OR_ t:$_NAND_ t:$_NOR_ %u
diff --git a/tests/techmap/abc_new_keep.ys b/tests/techmap/abc_new_keep.ys
new file mode 100644
index 000000000..2a529f4f6
--- /dev/null
+++ b/tests/techmap/abc_new_keep.ys
@@ -0,0 +1,12 @@
+read_verilog <<EOT
+module top(input a, input b, output o);
+	(* keep *) wire w = a & b;
+	assign o = ~w;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast; techmap
+
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+select -assert-none t:$_AND_
+select -assert-min 1 t:NAND t:NOT t:NOR t:BUF %u
diff --git a/tests/techmap/abc_new_temp_sanitization.ys b/tests/techmap/abc_new_temp_sanitization.ys
new file mode 100644
index 000000000..42d357cd0
--- /dev/null
+++ b/tests/techmap/abc_new_temp_sanitization.ys
@@ -0,0 +1,11 @@
+read_verilog <<EOT
+module top(input a, input b, output y);
+	assign y = a | b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+
+logger -expect log " /tmp/" 2
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+