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] 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