From 265b5680de2a9beac5bc973aec2d2da1aba02f4f Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Wed, 20 Mar 2024 23:29:25 +0100
Subject: [PATCH] Added soft-connect test for valid layout

---
 src/lvs/unit_tests/lvsSimpleTests.cc |   6 +
 testdata/lvs/soft_connect2.cir       |  13 ++
 testdata/lvs/soft_connect2.gds       | Bin 0 -> 3366 bytes
 testdata/lvs/soft_connect2.l2n       | 213 +++++++++++++++++++++++++++
 testdata/lvs/soft_connect2.lvs       |  92 ++++++++++++
 5 files changed, 324 insertions(+)
 create mode 100644 testdata/lvs/soft_connect2.cir
 create mode 100644 testdata/lvs/soft_connect2.gds
 create mode 100644 testdata/lvs/soft_connect2.l2n
 create mode 100644 testdata/lvs/soft_connect2.lvs

diff --git a/src/lvs/unit_tests/lvsSimpleTests.cc b/src/lvs/unit_tests/lvsSimpleTests.cc
index fe7f97127..f5eb6e9f8 100644
--- a/src/lvs/unit_tests/lvsSimpleTests.cc
+++ b/src/lvs/unit_tests/lvsSimpleTests.cc
@@ -307,3 +307,9 @@ TEST(50_SoftConnection)
   run_test (_this, "soft_connect1", "soft_connect1.gds", true, false /*no LVS*/);
 }
 
+//  No errors
+TEST(51_SoftConnection)
+{
+  run_test (_this, "soft_connect2", "soft_connect2.gds", true, false /*no LVS*/);
+}
+
diff --git a/testdata/lvs/soft_connect2.cir b/testdata/lvs/soft_connect2.cir
new file mode 100644
index 000000000..61ac75956
--- /dev/null
+++ b/testdata/lvs/soft_connect2.cir
@@ -0,0 +1,13 @@
+* Extracted by KLayout
+
+.SUBCKT TOP A Q VDD SUBSTRATE|VSS
+X$1 SUBSTRATE|VSS VDD VDD \$1 Q SUBSTRATE|VSS INV
+X$2 SUBSTRATE|VSS VDD VDD A \$1 SUBSTRATE|VSS INV
+.ENDS TOP
+
+.SUBCKT INV \$1 \$2 \$3 \$4 \$5 SUBSTRATE
+M$1 \$2 \$4 \$5 \$3 PMOS L=0.25U W=0.95U AS=0.73625P AD=0.73625P PS=3.45U
++ PD=3.45U
+M$2 \$1 \$4 \$5 SUBSTRATE NMOS L=0.25U W=0.95U AS=0.73625P AD=0.73625P PS=3.45U
++ PD=3.45U
+.ENDS INV
diff --git a/testdata/lvs/soft_connect2.gds b/testdata/lvs/soft_connect2.gds
new file mode 100644
index 0000000000000000000000000000000000000000..a223df0984e5cc8d011b00c35f4f6ec0e5ea2d35
GIT binary patch
literal 3366
zcmb7{O-L0{6vxlZd(OM>`7AX*%SB2-i?9}DMj#mmNzs=N5oy_?RkUbnZFCd3Xerdf
zO(wJp0wGr+5w2YXMYw3;QlgdEoBrpXInBMJZ?whhC+FVZ+^=)bOcYTVPElVFmbR!s
z9n?+7X~6xPOc>o7zedziXc`%Pap~sgx7(M;R?aQHnyyh_Q)90ZMYa2*w<m~-hA3(Y
zDWvE~NJM8_3vs+V6UX(_Orqc$QDIK0aV8bpQorc>^$_jr_<`{f_#>sp>+5+wW-`q_
z#vNimrN(Kxk&nIuaMp$K5?JT)g&J=>K6^aAFc@MFzl0jkj32q{|Feqm=i>O!Dm?6E
zd`hWtrZ<1b$JpO(JIEeUIHuHi>X+sG3d#6UKcAvGTEM?M)X~Z$oa81GCwWpvEm3ZM
zm?#>*J&Dt;5LMbWSE}+f`yhMv`?prM8?B6Y1T%jiJ5zotJ0sLM)AMy@HZ$W{I1zrc
zSR_uEo+&lX^nBx<%+4u1e<Y4~_(VPtHSrExYMhzp6O{+Wuf7*wsqyll=Li1yL?t8s
zk+0$_HC{5FUrK$<^%&;&Q5b(fX0%|v2{jJ7H#6g7&u+4h-*xs=Y8=e<%kRXmyb)ii
zaWL0!z9N40qWDUUgRU=?DM%_)4{~Q2`P>6{3i-UH)Hrh=KU5$2vLJrT4e^y4Hw)q)
zd`D{I*us4)XgrK@c5yaf^(XfHOG=HK-F@bnRN#0R=Uf#(_$|Ir<4n)@DscRosJR9o
ztoFfwm{Q}-wS2$4CVpjJe5J<AYxzDs6hAmCzEb0ulY7pY`D1+>?8`G!Cym!PJm0CH
z=<`JGDU<JK@G>ReQ)$oh(Fb*c`*D3>U#M}W=X-UA&(8YQ#KRd{|F^~u@{{?)xATXu
zwDU(iug)MhY@K0pec{|ua-ETOZ~ji5kUiHtIb{Cq@ik90Z<HF(<j)>o&s_6Hsqswy
zWPGgg|MJJHGsrDlCzxCxcx)xt32FECPyD3L@Yr0ZxF6Rk_JtZx>(n9Y%$>XPE;jA*
zUbb)I<`um9ugV<oCidETQE&V<TdS;Byw$j^|3cbk@F%_uoqI*p*@F*)GeRD}8}DGH
z#zFU9dw!{1d?tIyfq!H_X}5mkFB{xO`(@L$jHhkm36CrfX`MD=@g8NqRh&Ca)QYDb
zeJpJMC2Lk{9CX*Z$1gq?--O~TH4eJI^R0lf7bWMIyziZxDLEIDcI)Gs^I2j1u8{DQ
z?f`$=)8<vQohQ>9O^%Hri};&8zc;>#xc3DA@4)Ge@38E%PpsM<jC!L{zc0=_+t(no
nu-oW+FX?M!&Q0$3P3H`H&10P)-cQtpDJwM&+IivL6pQp1<gnGZ

literal 0
HcmV?d00001

diff --git a/testdata/lvs/soft_connect2.l2n b/testdata/lvs/soft_connect2.l2n
new file mode 100644
index 000000000..d75ed206d
--- /dev/null
+++ b/testdata/lvs/soft_connect2.l2n
@@ -0,0 +1,213 @@
+#%l2n-klayout
+W(TOP)
+U(0.001)
+L(l3 '1/0')
+L(l4 '3/0')
+L(l15 '3/1')
+L(l8 '4/0')
+L(l11 '5/0')
+L(l12 '6/0')
+L(l16 '6/1')
+L(l13 '7/0')
+L(l14 '8/0')
+L(l17 '8/1')
+L(l7)
+L(l10)
+L(l2)
+L(l9)
+L(l6)
+C(l3 l3 l10)
+C(l4 l4 l15 l11)
+C(l15 l4 l15)
+C(l8 l8 l12 l10 l2 l9 l6)
+CS(l8 l10 l2 l9 l6)
+C(l11 l4 l11 l12)
+CS(l11 l4)
+C(l12 l8 l11 l12 l16 l13)
+C(l16 l12 l16)
+C(l13 l12 l13 l14)
+C(l14 l13 l14 l17)
+C(l17 l14 l17)
+C(l7 l7)
+C(l10 l3 l8 l10)
+CS(l10 l3)
+C(l2 l8 l2)
+C(l9 l8 l9)
+C(l6 l8 l6)
+G(l7 SUBSTRATE)
+G(l9 SUBSTRATE)
+GS(l9 SUBSTRATE)
+K(PMOS MOS4)
+K(NMOS MOS4)
+D(D$PMOS PMOS
+ T(S
+  R(l2 (-900 -475) (775 950))
+ )
+ T(G
+  R(l4 (-125 -475) (250 950))
+ )
+ T(D
+  R(l2 (125 -475) (775 950))
+ )
+ T(B
+  R(l3 (-125 -475) (250 950))
+ )
+)
+D(D$NMOS NMOS
+ T(S
+  R(l6 (-900 -475) (775 950))
+ )
+ T(G
+  R(l4 (-125 -475) (250 950))
+ )
+ T(D
+  R(l6 (125 -475) (775 950))
+ )
+ T(B
+  R(l7 (-125 -475) (250 950))
+ )
+)
+X(INV
+ R((-1500 -800) (3000 4600))
+ N(1
+  R(l8 (290 -310) (220 220))
+  R(l8 (-220 180) (220 220))
+  R(l12 (-290 -690) (360 760))
+  R(l13 (-305 -705) (250 250))
+  R(l13 (-250 150) (250 250))
+  R(l14 (-2025 -775) (3000 900))
+  R(l6 (-1375 -925) (775 950))
+ )
+ N(2
+  R(l8 (290 2490) (220 220))
+  R(l8 (-220 180) (220 220))
+  R(l12 (-290 -690) (360 760))
+  R(l13 (-305 -705) (250 250))
+  R(l13 (-250 150) (250 250))
+  R(l14 (-2025 -775) (3000 900))
+  R(l2 (-1375 -925) (775 950))
+ )
+ N(3
+  R(l3 (-1500 1800) (3000 2000))
+ )
+ N(4
+  R(l4 (-125 -250) (250 2500))
+  R(l4 (-250 -3050) (250 1600))
+  R(l4 (-250 1200) (250 1600))
+ )
+ N(5
+  R(l8 (-510 -310) (220 220))
+  R(l8 (-220 180) (220 220))
+  R(l8 (-220 2180) (220 220))
+  R(l8 (-220 180) (220 220))
+  R(l12 (-290 -3530) (360 2840))
+  R(l12 (-360 -2800) (360 760))
+  R(l12 (-360 2040) (360 760))
+  R(l2 (-680 -855) (775 950))
+  R(l6 (-775 -3750) (775 950))
+ )
+ N(6 I(SUBSTRATE))
+ P(1)
+ P(2)
+ P(3)
+ P(4)
+ P(5)
+ P(6 I(SUBSTRATE))
+ D(1 D$PMOS
+  Y(0 2800)
+  E(L 0.25)
+  E(W 0.95)
+  E(AS 0.73625)
+  E(AD 0.73625)
+  E(PS 3.45)
+  E(PD 3.45)
+  T(S 5)
+  T(G 4)
+  T(D 2)
+  T(B 3)
+ )
+ D(2 D$NMOS
+  Y(0 0)
+  E(L 0.25)
+  E(W 0.95)
+  E(AS 0.73625)
+  E(AD 0.73625)
+  E(PS 3.45)
+  E(PD 3.45)
+  T(S 5)
+  T(G 4)
+  T(D 1)
+  T(B 6)
+ )
+)
+X(TOP
+ R((600 800) (8880 4600))
+ N(1
+  R(l4 (2920 2600) (2880 400))
+  R(l11 (-300 -300) (200 200))
+  R(l12 (-300 -300) (690 400))
+ )
+ N(2 I(A)
+  R(l4 (6600 2600) (2880 400))
+  R(l15 (-2380 -200) (0 0))
+ )
+ N(3 I(Q)
+  R(l12 (1810 2600) (690 400))
+  R(l16 (-400 -200) (0 0))
+ )
+ N(4 I(VDD)
+  R(l3 (4000 3400) (1600 2000))
+  R(l3 (-5000 -2000) (1000 2000))
+  R(l3 (6400 -2000) (1000 2000))
+  R(l8 (-8000 -900) (200 200))
+  R(l8 (-200 -600) (200 200))
+  R(l8 (7200 200) (200 200))
+  R(l8 (-200 -600) (200 200))
+  R(l12 (-7900 -350) (800 900))
+  R(l12 (6600 -900) (800 900))
+  R(l13 (-7900 -350) (200 200))
+  R(l13 (-200 -600) (200 200))
+  R(l13 (7200 200) (200 200))
+  R(l13 (-200 -600) (200 200))
+  R(l14 (-4400 -350) (1200 900))
+  R(l14 (-4800 -900) (1000 900))
+  R(l14 (6400 -900) (1000 900))
+  R(l17 (-4800 -450) (0 0))
+ )
+ N(5 I('SUBSTRATE,VSS')
+  R(l8 (1000 1700) (200 200))
+  R(l8 (-200 -600) (200 200))
+  R(l8 (7200 200) (200 200))
+  R(l8 (-200 -600) (200 200))
+  R(l12 (-7900 -350) (800 900))
+  R(l12 (6600 -900) (800 900))
+  R(l13 (-7900 -350) (200 200))
+  R(l13 (-200 -600) (200 200))
+  R(l13 (7200 200) (200 200))
+  R(l13 (-200 -600) (200 200))
+  R(l14 (-4400 -350) (1200 900))
+  R(l14 (-4800 -900) (1000 900))
+  R(l14 (6400 -900) (1000 900))
+  R(l17 (-4800 -550) (0 0))
+ )
+ P(2 I(A))
+ P(3 I(Q))
+ P(4 I(VDD))
+ P(5 I('SUBSTRATE,VSS'))
+ X(1 INV Y(3000 1600)
+  P(0 5)
+  P(1 4)
+  P(2 4)
+  P(3 1)
+  P(4 3)
+  P(5 5)
+ )
+ X(2 INV Y(6600 1600)
+  P(0 5)
+  P(1 4)
+  P(2 4)
+  P(3 2)
+  P(4 1)
+  P(5 5)
+ )
+)
diff --git a/testdata/lvs/soft_connect2.lvs b/testdata/lvs/soft_connect2.lvs
new file mode 100644
index 000000000..a4ed6551d
--- /dev/null
+++ b/testdata/lvs/soft_connect2.lvs
@@ -0,0 +1,92 @@
+
+$lvs_test_source && source($lvs_test_source)
+
+if $lvs_test_target_l2n
+  report_netlist($lvs_test_target_l2n)
+else
+  report_netlist
+end
+
+writer = write_spice(true, false)
+$lvs_test_target_cir && target_netlist($lvs_test_target_cir, writer, "Extracted by KLayout")
+
+deep
+
+# Drawing layers
+
+nwell       = input(1, 0)
+active      = input(2, 0)
+nplus       = input(2, 1)
+pplus       = input(2, 2)
+poly        = input(3, 0)
+poly_lbl    = input(3, 1)
+diff_cont   = input(4, 0)
+poly_cont   = input(5, 0)
+metal1      = input(6, 0)
+metal1_lbl  = input(6, 1)
+via1        = input(7, 0)
+metal2      = input(8, 0)
+metal2_lbl  = input(8, 1)
+
+# Bulk layer for terminal provisioning
+
+bulk        = polygon_layer
+
+psd = nil
+nsd = nil
+
+# Computed layers
+
+active_in_nwell       = active & nwell
+pactive               = active_in_nwell & pplus
+ntie                  = active_in_nwell & nplus
+pgate                 = pactive & poly
+psd                   = pactive - pgate
+
+active_outside_nwell  = active - nwell
+nactive               = active_outside_nwell & nplus
+ptie                  = active_outside_nwell & pplus
+ngate                 = nactive & poly
+nsd                   = nactive - ngate
+
+# Device extraction
+
+# PMOS transistor device extraction
+extract_devices(mos4("PMOS"), { "SD" => psd, "G" => pgate, "W" => nwell,
+                                "tS" => psd, "tD" => psd, "tG" => poly })
+
+# NMOS transistor device extraction
+extract_devices(mos4("NMOS"), { "SD" => nsd, "G" => ngate, "W" => bulk,
+                                "tS" => nsd, "tD" => nsd, "tG" => poly })
+
+# Define connectivity for netlist extraction
+
+# Inter-layer
+
+soft_connect(diff_cont, psd)
+soft_connect(diff_cont, nsd)
+soft_connect(diff_cont, ptie)
+soft_connect(diff_cont, ntie)
+soft_connect(ntie, nwell)
+soft_connect(poly_cont, poly)
+
+connect(diff_cont, metal1)
+connect(poly_cont, metal1)
+connect(metal1, via1)
+connect(via1, metal2)
+
+# attach labels
+connect(poly, poly_lbl)
+connect(metal1, metal1_lbl)
+connect(metal2, metal2_lbl)
+
+# Global
+connect_global(bulk, "SUBSTRATE")
+soft_connect_global(ptie, "SUBSTRATE")
+
+# Netlist section (NOTE: we only check log here)
+netlist
+
+netlist.simplify
+
+