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 Netter#same_device_c

Usage:

See Netter#same_nets for a description of that function.

+

"same_nets!" - Establishes an equivalence between the nets (must match)

+ +

Usage:

+ +

+See Netter#same_nets! for a description of that function. +

"schematic" - Reads the reference netlist

Usage:

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

- For more information about "same_nets" see same_nets. + "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: +

+ +
same_nets!("CHIP", "VDD", "VDD")
+ +

+ 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: +

+ +
same_nets!("CHIP", "VDD")
+ +

+ 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: +

+ +
same_nets!("TOP", "PAD*")
+ +

+ 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. +

+ +

+ "same_nets" and "same_nets!" can appear anywhere in the LVS script. +

+ +

+ For more information about "same_nets" see same_nets and + same_nets!.

Circuit equivalence hint