mirror of https://github.com/KLayout/klayout.git
188 lines
6.2 KiB
Python
188 lines
6.2 KiB
Python
|
|
# encoding: UTF-8
|
|
|
|
# KLayout Layout Viewer
|
|
# Copyright (C) 2006-2025 Matthias Koefferlein
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software
|
|
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
import pya
|
|
import unittest
|
|
import sys
|
|
import os
|
|
|
|
class DBNetlistCrossReferenceTests(unittest.TestCase):
|
|
|
|
def test_1_Basic(self):
|
|
|
|
ut_testsrc = os.getenv("TESTSRC")
|
|
|
|
xref = pya.NetlistCrossReference()
|
|
|
|
lvs = pya.LayoutVsSchematic()
|
|
infile = os.path.join(ut_testsrc, "testdata", "algo", "lvsdb_read_test.lvsdb")
|
|
lvs.read(infile)
|
|
|
|
reader = pya.NetlistSpiceReader()
|
|
nl = pya.Netlist()
|
|
nl.read(os.path.join(ut_testsrc, "testdata", "algo", "lvs_test_1.spi"), reader)
|
|
|
|
self.assertEqual(xref.circuit_count(), 0)
|
|
|
|
# A NetlistCrossReference object can act as a receiver for a netlist comparer
|
|
comp = pya.NetlistComparer()
|
|
comp.compare(lvs.netlist(), nl, xref)
|
|
|
|
self.assertEqual(xref.circuit_count(), 3)
|
|
|
|
xref.clear()
|
|
self.assertEqual(xref.circuit_count(), 0)
|
|
|
|
def name_or_nil(self, s):
|
|
if s:
|
|
return s.name
|
|
else:
|
|
return "(nil)"
|
|
|
|
def terminal_def_name_or_nil(self, s):
|
|
if s:
|
|
return s.terminal_def().name
|
|
else:
|
|
return "(nil)"
|
|
|
|
def pin_name_or_nil(self, s):
|
|
if s:
|
|
return s.pin().name()
|
|
else:
|
|
return "(nil)"
|
|
|
|
def name_call_or_nil(self, s):
|
|
if s:
|
|
return s.name()
|
|
else:
|
|
return "(nil)"
|
|
|
|
def test_2_CircuitPairs(self):
|
|
|
|
ut_testsrc = os.getenv("TESTSRC")
|
|
|
|
lvs = pya.LayoutVsSchematic()
|
|
input = os.path.join(ut_testsrc, "testdata", "algo", "lvsdb_read_test2.lvsdb")
|
|
lvs.read(input)
|
|
|
|
xref = lvs.xref()
|
|
self.assertEqual(xref.circuit_count(), 4)
|
|
|
|
info = []
|
|
for cp in xref.each_circuit_pair():
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ cp.first(), cp.second() ] ]) + ":" + str(cp.status()))
|
|
self.assertEqual(",".join(info), "(nil)/INV2PAIRX:Mismatch,INV2/INV2:Match,INV2PAIR/INV2PAIR:NoMatch,RINGO/RINGO:Skipped")
|
|
|
|
cp_inv2 = None
|
|
for cp in xref.each_circuit_pair():
|
|
if cp.first() and cp.first().name == "INV2":
|
|
cp_inv2 = cp
|
|
|
|
self.assertEqual(cp_inv2 != None, True)
|
|
|
|
info = []
|
|
for p in xref.each_pin_pair(cp_inv2):
|
|
info.append("/".join([ self.name_call_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "/1:Match,BULK/6:Match,IN/2:Match,OUT/3:Match,VDD/5:Match,VSS/4:Match")
|
|
|
|
info = []
|
|
for p in xref.each_net_pair(cp_inv2):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "/1:Match,BULK/6:Match,IN/2:Match,OUT/3:Match,VDD/5:Match,VSS/4:Match")
|
|
|
|
netp_bulk = None
|
|
for p in xref.each_net_pair(cp_inv2):
|
|
if p.first().name == "BULK":
|
|
netp_bulk = p
|
|
|
|
info = []
|
|
for p in xref.each_net_terminal_pair(netp_bulk):
|
|
info.append("/".join([ self.terminal_def_name_or_nil(s) for s in [ p.first(), p.second() ] ]))
|
|
self.assertEqual(",".join(info), "B/B")
|
|
|
|
info = []
|
|
for p in xref.each_net_pin_pair(netp_bulk):
|
|
info.append("/".join([ self.pin_name_or_nil(s) for s in [ p.first(), p.second() ] ]))
|
|
self.assertEqual(",".join(info), "BULK/6")
|
|
|
|
info = []
|
|
for p in xref.each_net_subcircuit_pin_pair(netp_bulk):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]))
|
|
self.assertEqual(",".join(info), "")
|
|
|
|
info = []
|
|
for p in xref.each_device_pair(cp_inv2):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "/$1:Match,/$3:Match")
|
|
|
|
info = []
|
|
for p in xref.each_subcircuit_pair(cp_inv2):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "")
|
|
|
|
cp_inv2pair = None
|
|
for cp in xref.each_circuit_pair():
|
|
if cp.first() and cp.first().name == "INV2PAIR":
|
|
cp_inv2pair = cp
|
|
|
|
self.assertEqual(cp_inv2pair != None, True)
|
|
|
|
info = []
|
|
for p in xref.each_pin_pair(cp_inv2pair):
|
|
info.append("/".join([ self.name_call_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "(nil)/5:Mismatch,/(nil):Mismatch,/2:Match,/3:Match,/4:Match,/6:Match,/7:Match,BULK/1:Match")
|
|
|
|
info = []
|
|
for p in xref.each_net_pair(cp_inv2pair):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "/(nil):Mismatch,/2:Mismatch,/3:Mismatch,/4:Match,/6:Match,/7:Mismatch,BULK/1:Mismatch")
|
|
|
|
info = []
|
|
for p in xref.each_device_pair(cp_inv2pair):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "")
|
|
|
|
info = []
|
|
for p in xref.each_subcircuit_pair(cp_inv2pair):
|
|
info.append("/".join([ self.name_or_nil(s) for s in [ p.first(), p.second() ] ]) + ":" + str(p.status()))
|
|
self.assertEqual(",".join(info), "(nil)/$2:Mismatch,/(nil):Mismatch,/(nil):Mismatch")
|
|
|
|
def test_3_StatusEnums(self):
|
|
|
|
st = pya.NetlistCrossReference.Status()
|
|
self.assertEqual(st.to_i(), 0)
|
|
self.assertEqual(str(st), "None")
|
|
|
|
st = pya.NetlistCrossReference.Status.Match
|
|
self.assertEqual(str(st), "Match")
|
|
|
|
st = pya.NetlistCrossReference.Skipped
|
|
self.assertEqual(str(st), "Skipped")
|
|
|
|
|
|
# run unit tests
|
|
if __name__ == '__main__':
|
|
suite = unittest.TestLoader().loadTestsFromTestCase(DBNetlistCrossReferenceTests)
|
|
|
|
if not unittest.TextTestRunner(verbosity = 1).run(suite).wasSuccessful():
|
|
sys.exit(1)
|
|
|
|
|