From b60492b203bf46344fef1cbd7a1026e6c6690eeb Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Fri, 18 Sep 2026 10:53:00 +0200
Subject: [PATCH] Repro tie box, portarcs, read_liberty.

---
 tests/abc_new/librelane/read_liberty_lib.ys | 12 +++++++
 tests/abc_new/openroad/tie_box.ys           | 30 ++++++++++++++++++
 tests/abc_new/whitebox_portarcs_fpe.ys      | 35 +++++++++++++++++++++
 3 files changed, 77 insertions(+)
 create mode 100644 tests/abc_new/librelane/read_liberty_lib.ys
 create mode 100644 tests/abc_new/openroad/tie_box.ys
 create mode 100644 tests/abc_new/whitebox_portarcs_fpe.ys

diff --git a/tests/abc_new/librelane/read_liberty_lib.ys b/tests/abc_new/librelane/read_liberty_lib.ys
new file mode 100644
index 000000000..6ca1afbb8
--- /dev/null
+++ b/tests/abc_new/librelane/read_liberty_lib.ys
@@ -0,0 +1,12 @@
+# https://github.com/librelane/librelane/blob/f24e0ea5db2260719e9a0c7d51d07db74a87fa23/librelane/scripts/pyosys/synthesize.py
+
+# plain read_liberty -lib (librelane order) makes cells abc9_box without timing; abc_new refuses, abc accepts
+read_liberty -lib ../openroad/cm_test_cells.lib
+read_liberty -lib ../openroad/sm_test_cells.lib
+read_verilog spm.v
+hierarchy -top spm -chparam bits 8
+synth -run :fine
+techmap
+dfflibmap -liberty ../openroad/sm_test_cells.lib
+abc_new -liberty ../openroad/cm_test_cells.lib -liberty ../openroad/sm_test_cells.lib
+select -assert-none t:$_*_
diff --git a/tests/abc_new/openroad/tie_box.ys b/tests/abc_new/openroad/tie_box.ys
new file mode 100644
index 000000000..15989bc45
--- /dev/null
+++ b/tests/abc_new/openroad/tie_box.ys
@@ -0,0 +1,30 @@
+# https://github.com/The-OpenROAD-Project/OpenROAD/blob/80443953721b0134bed51bbab17a633a575098a6/src/cut/test/sky130_const_cell.v
+
+# input-less box (tie cell): abc asserts in Gia_ManLevelWithBoxes, same with abc9 -lut
+read_verilog <<EOT
+module top(clk, c);
+	input clk;
+	output c;
+
+	wire flop_net;
+
+	TIEHI _403_ (
+		.Y(flop_net)
+	);
+
+	DFF output_flop (
+		.D(flop_net),
+		.Q(c),
+		.CLK(clk)
+	);
+
+endmodule
+EOT
+
+read_liberty -lib -unit_delay cm_test_cells.lib
+read_liberty -lib -unit_delay sm_test_cells.lib
+hierarchy -top top
+abc_new -liberty cm_test_cells.lib -liberty sm_test_cells.lib
+select -assert-count 1 t:TIEHI
+select -assert-count 1 t:DFF
+check -assert
diff --git a/tests/abc_new/whitebox_portarcs_fpe.ys b/tests/abc_new/whitebox_portarcs_fpe.ys
new file mode 100644
index 000000000..5861a85a2
--- /dev/null
+++ b/tests/abc_new/whitebox_portarcs_fpe.ys
@@ -0,0 +1,35 @@
+# mapped cells without timing: portarcs -draw divides by zero (portarcs.cc:285), SIGFPE
+read_verilog -specify <<EOT
+(* abc9_box, lib_whitebox *)
+module MX4(input D0, D1, D2, D3, S0, S1, output Y);
+	specify
+		(D0 => Y) = 100; (D1 => Y) = 100; (D2 => Y) = 100; (D3 => Y) = 100;
+		(S0 => Y) = 50; (S1 => Y) = 50;
+	endspecify
+	assign Y = S1 ? (S0 ? D3 : D2) : (S0 ? D1 : D0);
+endmodule
+module top(input [3:0] d, input [1:0] s, input a, output y, z);
+	wire m;
+	MX4 mux (.D0(d[0]), .D1(d[1]), .D2(d[2]), .D3(d[3]), .S0(s[0]), .S1(s[1]), .Y(m));
+	assign y = m ^ a;
+	assign z = m & d[0];
+endmodule
+EOT
+
+hierarchy -top top
+proc
+opt
+design -save gold
+techmap
+abc_new -liberty openroad/cm_test_cells.lib
+select -assert-count 1 top/t:MX4
+select -assert-none top/t:$_*_
+check -assert
+read_verilog openroad/cells_sim.v
+flatten
+opt_clean
+design -stash gate
+design -copy-from gold -as gold top
+design -copy-from gate -as gate top
+miter -equiv -flatten -make_assert -ignore_gold_x gold gate miter
+sat -verify -prove-asserts -show-ports miter