From dc9109316f6693d5c466547ff4f8b73e7ce7fb66 Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Tue, 5 May 2026 10:50:06 +0200
Subject: [PATCH 1/4] Experimental abc_new tests.

---
 tests/techmap/abc_new_abc_verify_pass.ys      | 13 ++++
 tests/techmap/abc_new_basic_gates.ys          | 63 +++++++++++++++++++
 .../techmap/abc_new_experimental_sentinel.ys  | 14 +++++
 tests/techmap/abc_new_multibit.ys             | 63 +++++++++++++++++++
 4 files changed, 153 insertions(+)
 create mode 100644 tests/techmap/abc_new_abc_verify_pass.ys
 create mode 100644 tests/techmap/abc_new_basic_gates.ys
 create mode 100644 tests/techmap/abc_new_experimental_sentinel.ys
 create mode 100644 tests/techmap/abc_new_multibit.ys

diff --git a/tests/techmap/abc_new_abc_verify_pass.ys b/tests/techmap/abc_new_abc_verify_pass.ys
new file mode 100644
index 000000000..fca4d11a3
--- /dev/null
+++ b/tests/techmap/abc_new_abc_verify_pass.ys
@@ -0,0 +1,13 @@
+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 "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
diff --git a/tests/techmap/abc_new_basic_gates.ys b/tests/techmap/abc_new_basic_gates.ys
new file mode 100644
index 000000000..49d70a248
--- /dev/null
+++ b/tests/techmap/abc_new_basic_gates.ys
@@ -0,0 +1,63 @@
+design -reset
+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 "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+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 "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+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 "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input a, input b, input c, input d, output y);
+	assign y = (a & b) | (c & d);
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +4/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
diff --git a/tests/techmap/abc_new_experimental_sentinel.ys b/tests/techmap/abc_new_experimental_sentinel.ys
new file mode 100644
index 000000000..ee882aa6c
--- /dev/null
+++ b/tests/techmap/abc_new_experimental_sentinel.ys
@@ -0,0 +1,14 @@
+read_verilog <<EOT
+module top(input a, output y); assign y = a; endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +1/ +1" 3
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect warning "Feature 'abc_new' is experimental" 1
+logger -expect warning "Feature 'write_xaiger2' is experimental" 1
+logger -expect warning "Feature 'read_xaiger2' is experimental" 1
+logger -expect error "Missing mapping \(no 'M' section\)" 1
+abc_new -liberty ../../examples/cmos/cmos_cells.lib
+
+
diff --git a/tests/techmap/abc_new_multibit.ys b/tests/techmap/abc_new_multibit.ys
new file mode 100644
index 000000000..54b1a8197
--- /dev/null
+++ b/tests/techmap/abc_new_multibit.ys
@@ -0,0 +1,63 @@
+design -reset
+read_verilog <<EOT
+module top(input [7:0] a, input [7:0] b, output [7:0] y);
+	assign y = a & b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +16/ +8" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 8
+logger -expect error "Found 8 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input [3:0] a, input [3:0] b, output [3:0] y);
+	assign y = a ^ b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +8/ +4" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 4
+logger -expect error "Found 4 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input [7:0] a, output y);
+	assign y = &a;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +8/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input [3:0] a, input [3:0] b, output [3:0] sum, output cout);
+	assign {cout, sum} = a + b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +8/ +5" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 5
+logger -expect error "Found 5 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert

From 80bb367941af24ff820b2bf169b6df3df00def3e Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Tue, 5 May 2026 10:51:04 +0200
Subject: [PATCH 2/4] More abc_new tests.

---
 tests/techmap/abc_new_multibit_undriven.ys | 14 +++++
 tests/techmap/abc_new_mux.ys               | 65 ++++++++++++++++++++++
 tests/techmap/abc_new_no_script.ys         | 11 ++++
 tests/techmap/abc_new_sc_undriven_wire.ys  | 17 ++++++
 tests/techmap/abc_new_sc_verify_fails.ys   | 17 ++++++
 tests/techmap/abc_new_sequential.ys        | 15 +++++
 6 files changed, 139 insertions(+)
 create mode 100644 tests/techmap/abc_new_multibit_undriven.ys
 create mode 100644 tests/techmap/abc_new_mux.ys
 create mode 100644 tests/techmap/abc_new_no_script.ys
 create mode 100644 tests/techmap/abc_new_sc_undriven_wire.ys
 create mode 100644 tests/techmap/abc_new_sc_verify_fails.ys
 create mode 100644 tests/techmap/abc_new_sequential.ys

diff --git a/tests/techmap/abc_new_multibit_undriven.ys b/tests/techmap/abc_new_multibit_undriven.ys
new file mode 100644
index 000000000..aa3393698
--- /dev/null
+++ b/tests/techmap/abc_new_multibit_undriven.ys
@@ -0,0 +1,14 @@
+read_verilog <<EOT
+module top(input [3:0] a, output [3:0] y);
+	assign y = ~a;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +4/ +4" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver" 4
+logger -expect error "Found 4 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
\ No newline at end of file
diff --git a/tests/techmap/abc_new_mux.ys b/tests/techmap/abc_new_mux.ys
new file mode 100644
index 000000000..e387d3199
--- /dev/null
+++ b/tests/techmap/abc_new_mux.ys
@@ -0,0 +1,65 @@
+design -reset
+read_verilog <<EOT
+module top(input a, input b, input sel, output y);
+	assign y = sel ? a : b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +3/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input [3:0] data, input [1:0] sel, output y);
+	assign y = data[sel];
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +6/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input a, input b, input c, input s1, input s2, output y);
+	wire temp;
+	assign temp = s1 ? a : b;
+	assign y = s2 ? temp : c;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +5/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
+
+design -reset
+read_verilog <<EOT
+module top(input [2:0] a, output [1:0] y);
+	assign y = a[2] ? 2'b11 : a[1] ? 2'b10 : a[0] ? 2'b01 : 2'b00;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +3/ +2" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 2
+logger -expect error "Found 2 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
diff --git a/tests/techmap/abc_new_no_script.ys b/tests/techmap/abc_new_no_script.ys
new file mode 100644
index 000000000..d4647cbb7
--- /dev/null
+++ b/tests/techmap/abc_new_no_script.ys
@@ -0,0 +1,11 @@
+read_verilog <<EOT
+module top(input [3:0] a, input [3:0] b, output [3:0] y);
+	assign y = a & b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+logger -expect log "ABC: .*i/o = +8/ +4" 3
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect error "Missing mapping \(no 'M' section\)" 1
+abc_new -liberty ../../examples/cmos/cmos_cells.lib
\ No newline at end of file
diff --git a/tests/techmap/abc_new_sc_undriven_wire.ys b/tests/techmap/abc_new_sc_undriven_wire.ys
new file mode 100644
index 000000000..33496a49a
--- /dev/null
+++ b/tests/techmap/abc_new_sc_undriven_wire.ys
@@ -0,0 +1,17 @@
+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 warning "Feature 'abc_new' is experimental" 1
+logger -expect warning "Feature 'write_xaiger2' is experimental" 1
+logger -expect warning "Feature 'read_xaiger2' is experimental" 1
+logger -expect log "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+check -assert
\ No newline at end of file
diff --git a/tests/techmap/abc_new_sc_verify_fails.ys b/tests/techmap/abc_new_sc_verify_fails.ys
new file mode 100644
index 000000000..523ecb6c0
--- /dev/null
+++ b/tests/techmap/abc_new_sc_verify_fails.ys
@@ -0,0 +1,17 @@
+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 warning "Feature 'abc_new' is experimental" 1
+logger -expect warning "Feature 'write_xaiger2' is experimental" 1
+logger -expect warning "Feature 'read_xaiger2' is experimental" 1
+logger -expect log "ABC: .*i/o = +2/ +1" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+logger -expect warning "Wire top\.\$lit[0-9]+ is used but has no driver\." 1
+logger -expect error "Found 1 problems in 'check -assert'" 1
+check -assert
\ No newline at end of file
diff --git a/tests/techmap/abc_new_sequential.ys b/tests/techmap/abc_new_sequential.ys
new file mode 100644
index 000000000..77a2234ea
--- /dev/null
+++ b/tests/techmap/abc_new_sequential.ys
@@ -0,0 +1,15 @@
+read_verilog <<EOT
+module top(input clk, input a, input b, output reg y);
+	always @(posedge clk) y <= a & b;
+endmodule
+EOT
+hierarchy -check -top top
+proc; opt -fast
+dfflibmap -liberty ../../examples/cmos/cmos_cells.lib
+logger -expect log "ABC: .*i/o = +4/ +3" 2
+logger -expect log "ABC: Warning: The network is combinational\." 1
+logger -expect log "ABC: Networks are equivalent\." 1
+abc_new -script "+&scorr;&sweep;&dc2;&dch,-f;&nf,{D}" -liberty ../../examples/cmos/cmos_cells.lib
+logger -expect error "Found 1 problems in 'check -assert'" 1
+check -assert
+

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 3/4] 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
+

From 77b63be4d238e87b9a377051c15f90ee2e7615e4 Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Wed, 6 May 2026 13:44:10 +0200
Subject: [PATCH 4/4] Remove unstable san test for mac.

---
 tests/techmap/abc_new_temp_sanitization.ys | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 tests/techmap/abc_new_temp_sanitization.ys

diff --git a/tests/techmap/abc_new_temp_sanitization.ys b/tests/techmap/abc_new_temp_sanitization.ys
deleted file mode 100644
index 42d357cd0..000000000
--- a/tests/techmap/abc_new_temp_sanitization.ys
+++ /dev/null
@@ -1,11 +0,0 @@
-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
-