From 8d45adcebd892f8c901c4b588ebdf82d16ef562b Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Mon, 28 Jun 2021 22:53:08 +0200
Subject: [PATCH] Updated doc.

---
 src/lay/lay/doc/about/lvs_ref_global.xml | 14 ++++++++-
 src/lay/lay/doc/manual/lvs_compare.xml   | 39 +++++++++++++++++++++++-
 2 files changed, 51 insertions(+), 2 deletions(-)

diff --git a/src/lay/lay/doc/about/lvs_ref_global.xml b/src/lay/lay/doc/about/lvs_ref_global.xml
index 927ba0496..ab05ff346 100644
--- a/src/lay/lay/doc/about/lvs_ref_global.xml
+++ b/src/lay/lay/doc/about/lvs_ref_global.xml
@@ -161,12 +161,24 @@ See <a href="/about/lvs_ref_netter.xml#same_device_classes">Netter#same_device_c
 <keyword name="same_nets"/>
 <p>Usage:</p>
 <ul>
-<li><tt>same_nets(circuit, net_a, net_b)</tt></li>
+<li><tt>same_nets(circuit_pattern, net_pattern)</tt></li>
+<li><tt>same_nets(circuit_pattern, net_a, net_b)</tt></li>
 <li><tt>same_nets(circuit_a, net_a, circuit_b, net_b)</tt></li>
 </ul>
 <p>
 See <a href="/about/lvs_ref_netter.xml#same_nets">Netter#same_nets</a> for a description of that function.
 </p>
+<a name="same_nets!"/><h2>"same_nets!" - Establishes an equivalence between the nets (must match)</h2>
+<keyword name="same_nets!"/>
+<p>Usage:</p>
+<ul>
+<li><tt>same_nets!(circuit_pattern, net_pattern)</tt></li>
+<li><tt>same_nets!(circuit_pattern, net_a, net_b)</tt></li>
+<li><tt>same_nets!(circuit_a, net_a, circuit_b, net_b)</tt></li>
+</ul>
+<p>
+See <a href="/about/lvs_ref_netter.xml#same_nets">Netter#same_nets</a>! for a description of that function.
+</p>
 <a name="schematic"/><h2>"schematic" - Reads the reference netlist</h2>
 <keyword name="schematic"/>
 <p>Usage:</p>
diff --git a/src/lay/lay/doc/manual/lvs_compare.xml b/src/lay/lay/doc/manual/lvs_compare.xml
index d5de64f78..5b3fe3073 100644
--- a/src/lay/lay/doc/manual/lvs_compare.xml
+++ b/src/lay/lay/doc/manual/lvs_compare.xml
@@ -52,7 +52,44 @@
   </p>
 
   <p>
-  For more information about "same_nets" see <a href="/about/lvs_ref_global.xml#same_nets">same_nets</a>.
+  "same_nets" can also be used to require a matching between specific nets.
+  This is useful on top level to check for matching nets assigned to specific pads.
+  This allows checking correct pad assignment. For example to check whether the
+  same net is attached to the "VDD" pad, label the net "VDD" in the layout and
+  specify:
+  </p>
+
+  <pre>same_nets!("CHIP", "VDD", "VDD")</pre>
+
+  <p>
+  The exclamation-mark version will report a net mismatch if either there is no
+  "VDD" net in either layout or schematic or if these nets to not match.
+  The above specification can be abbreviated as layout and schematic net name are identical:
+  </p>
+
+  <pre>same_nets!("CHIP", "VDD")</pre>
+
+  <p>
+  It's also possible to specify pattern for circuit names or net names. 
+  This example requires all nets starting with "PAD" to have a counterpart
+  in layout and schematic for circuit "TOP" and each of these pairs has to match:
+  </p>
+
+  <pre>same_nets!("TOP", "PAD*")</pre>
+
+  <p>
+  So it is an error if there is a PAD1 net in layout but none in the schematic.
+  It is also an error if a net called PAD2 is there is layout and schematic but they
+  do not match.
+  </p>
+
+  <p>
+  "same_nets" and "same_nets!" can appear anywhere in the LVS script.
+  </p>
+
+  <p>
+  For more information about "same_nets" see <a href="/about/lvs_ref_global.xml#same_nets">same_nets</a> and
+  <a href="/about/lvs_ref_global.xml#same_nets!">same_nets!</a>.
   </p>
 
   <h2>Circuit equivalence hint</h2>