2018-12-30 22:37:31 +01:00
|
|
|
# encoding: UTF-8
|
|
|
|
|
|
|
|
|
|
# KLayout Layout Viewer
|
2021-01-05 22:57:48 +01:00
|
|
|
# Copyright (C) 2006-2021 Matthias Koefferlein
|
2018-12-30 22:37:31 +01:00
|
|
|
#
|
|
|
|
|
# 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
|
|
|
|
|
|
|
|
|
|
if !$:.member?(File::dirname($0))
|
|
|
|
|
$:.push(File::dirname($0))
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
load("test_prologue.rb")
|
|
|
|
|
|
|
|
|
|
class DBLayoutToNetlist_TestClass < TestBase
|
|
|
|
|
|
|
|
|
|
def test_1_Basic
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(File.join($ut_testsrc, "testdata", "algo", "device_extract_l1.gds"))
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(RBA::RecursiveShapeIterator::new(ly, ly.top_cell, []))
|
|
|
|
|
|
|
|
|
|
l2n.threads = 17
|
|
|
|
|
l2n.max_vertex_count = 42
|
|
|
|
|
l2n.area_ratio = 7.5
|
|
|
|
|
assert_equal(l2n.threads, 17)
|
|
|
|
|
assert_equal(l2n.max_vertex_count, 42)
|
|
|
|
|
assert_equal(l2n.area_ratio, 7.5)
|
|
|
|
|
|
|
|
|
|
r = l2n.make_layer(ly.layer(6, 0))
|
|
|
|
|
|
|
|
|
|
assert_not_equal(l2n.internal_layout.object_id, ly.object_id)
|
|
|
|
|
assert_equal(l2n.internal_layout.top_cell.name, ly.top_cell.name)
|
|
|
|
|
assert_equal(l2n.internal_top_cell.name, ly.top_cell.name)
|
|
|
|
|
|
|
|
|
|
assert_not_equal(l2n.layer_of(r), ly.layer(6, 0)) # would be a strange coincidence ...
|
|
|
|
|
|
|
|
|
|
cm = l2n.const_cell_mapping_into(ly, ly.top_cell)
|
|
|
|
|
(0 .. l2n.internal_layout.cells - 1).each do |ci|
|
|
|
|
|
assert_equal(l2n.internal_layout.cell(ci).name, ly.cell(cm.cell_mapping(ci)).name)
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
ly2 = RBA::Layout::new
|
|
|
|
|
ly2.create_cell(ly.top_cell.name)
|
|
|
|
|
|
|
|
|
|
cm = l2n.cell_mapping_into(ly2, ly2.top_cell)
|
|
|
|
|
assert_equal(ly2.cells, ly.cells)
|
|
|
|
|
(0 .. l2n.internal_layout.cells - 1).each do |ci|
|
|
|
|
|
assert_equal(l2n.internal_layout.cell(ci).name, ly2.cell(cm.cell_mapping(ci)).name)
|
|
|
|
|
end
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
rmetal1 = l2n.make_polygon_layer( ly.layer(6, 0), "metal1" )
|
2019-01-06 15:28:40 +01:00
|
|
|
bulk_id = l2n.connect_global(rmetal1, "BULK")
|
|
|
|
|
assert_equal(l2n.global_net_name(bulk_id), "BULK")
|
|
|
|
|
|
2019-06-12 23:32:10 +02:00
|
|
|
# cell mapping with nets
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new
|
2020-05-22 00:58:46 +02:00
|
|
|
l2n.read(File.join($ut_testsrc, "testdata", "algo", "l2n_reader_in.txt"))
|
2019-06-12 23:32:10 +02:00
|
|
|
|
|
|
|
|
nets = [
|
|
|
|
|
l2n.netlist.circuit_by_name("RINGO").net_by_name("VSS"),
|
|
|
|
|
l2n.netlist.circuit_by_name("RINGO").net_by_name("VDD")
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
ly2 = RBA::Layout::new
|
|
|
|
|
ly2.create_cell("TOP")
|
|
|
|
|
|
|
|
|
|
cm = l2n.cell_mapping_into(ly2, ly2.top_cell, nets)
|
|
|
|
|
|
|
|
|
|
map = (0 .. l2n.internal_layout.cells - 1).collect do |ci|
|
|
|
|
|
cm.has_mapping?(ci) && (l2n.internal_layout.cell(ci).name + "=>" + ly2.cell(cm.cell_mapping(ci)).name)
|
|
|
|
|
end
|
|
|
|
|
assert_equal(map.select { |i| i }.join(","), "RINGO=>TOP")
|
|
|
|
|
|
|
|
|
|
nets = [
|
|
|
|
|
l2n.netlist.circuit_by_name("INV2").net_by_name("IN"),
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
ly2 = RBA::Layout::new
|
|
|
|
|
ly2.create_cell("TOP")
|
|
|
|
|
|
|
|
|
|
cm = l2n.cell_mapping_into(ly2, ly2.top_cell, nets)
|
|
|
|
|
|
|
|
|
|
map = (0 .. l2n.internal_layout.cells - 1).collect do |ci|
|
|
|
|
|
cm.has_mapping?(ci) && (l2n.internal_layout.cell(ci).name + "=>" + ly2.cell(cm.cell_mapping(ci)).name)
|
|
|
|
|
end
|
|
|
|
|
assert_equal(map.select { |i| i }.join(","), "RINGO=>TOP,INV2=>INV2")
|
|
|
|
|
|
2018-12-30 22:37:31 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
def test_2_ShapesFromNet
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
2020-06-14 22:04:16 +02:00
|
|
|
ly.read(File.join($ut_testsrc, "testdata", "algo", "device_extract_l1_with_inv_nodes.gds"))
|
2018-12-30 22:37:31 +01:00
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(RBA::RecursiveShapeIterator::new(ly, ly.top_cell, []))
|
|
|
|
|
|
|
|
|
|
# only plain backend connectivity
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
rmetal1 = l2n.make_polygon_layer( ly.layer(6, 0), "metal1" )
|
|
|
|
|
rmetal1_lbl = l2n.make_text_layer( ly.layer(6, 1), "metal1_lbl" )
|
|
|
|
|
rvia1 = l2n.make_polygon_layer( ly.layer(7, 0), "via1" )
|
|
|
|
|
rmetal2 = l2n.make_polygon_layer( ly.layer(8, 0), "metal2" )
|
|
|
|
|
rmetal2_lbl = l2n.make_text_layer( ly.layer(8, 1), "metal2_lbl" )
|
2018-12-30 22:37:31 +01:00
|
|
|
|
|
|
|
|
# Intra-layer
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
|
|
|
|
|
# Inter-layer
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
l2n.connect(rmetal1, rmetal1_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal2, rmetal2_lbl) # attaches labels
|
|
|
|
|
|
|
|
|
|
# Perform netlist extraction
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.netlist.to_s, <<END)
|
2019-03-19 00:08:47 +01:00
|
|
|
circuit TRANS ($1=$1,$2=$2);
|
|
|
|
|
end;
|
2020-06-14 22:04:16 +02:00
|
|
|
circuit INV2 (OUT=OUT,$2=$3,$3=$4);
|
2019-03-19 00:08:47 +01:00
|
|
|
subcircuit TRANS $1 ($1=$4,$2=OUT);
|
|
|
|
|
subcircuit TRANS $2 ($1=$3,$2=OUT);
|
|
|
|
|
subcircuit TRANS $3 ($1=$2,$2=$4);
|
|
|
|
|
subcircuit TRANS $4 ($1=$2,$2=$3);
|
|
|
|
|
end;
|
|
|
|
|
circuit RINGO ();
|
2020-06-14 22:04:16 +02:00
|
|
|
subcircuit INV2 $1 (OUT='FB,OSC',$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $2 (OUT=$I20,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $3 (OUT=$I19,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $4 (OUT=$I21,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $5 (OUT=$I22,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $6 (OUT=$I23,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $7 (OUT=$I24,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $8 (OUT=$I25,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $9 (OUT=$I26,$2=VSS,$3=VDD);
|
|
|
|
|
subcircuit INV2 $10 (OUT=$I27,$2=VSS,$3=VDD);
|
2019-03-19 00:08:47 +01:00
|
|
|
end;
|
2018-12-30 22:37:31 +01:00
|
|
|
END
|
|
|
|
|
|
2020-06-14 22:04:16 +02:00
|
|
|
assert_equal(l2n.probe_net(rmetal2, RBA::DPoint::new(0.0, 1.8)).to_s, "RINGO:FB,OSC")
|
|
|
|
|
sc_path = []
|
|
|
|
|
assert_equal(l2n.probe_net(rmetal2, RBA::DPoint::new(0.0, 1.8), sc_path).to_s, "RINGO:FB,OSC")
|
|
|
|
|
assert_equal(sc_path.size, 0)
|
2018-12-30 22:37:31 +01:00
|
|
|
assert_equal(l2n.probe_net(rmetal2, RBA::DPoint::new(-2.0, 1.8)).inspect, "nil")
|
|
|
|
|
|
2020-06-14 22:04:16 +02:00
|
|
|
n = l2n.probe_net(rmetal1, RBA::Point::new(2600, 1000), nil)
|
|
|
|
|
assert_equal(n.to_s, "INV2:$2")
|
|
|
|
|
sc_path = []
|
|
|
|
|
n = l2n.probe_net(rmetal1, RBA::Point::new(2600, 1000), sc_path)
|
|
|
|
|
assert_equal(n.to_s, "INV2:$2")
|
|
|
|
|
assert_equal(sc_path.size, 1)
|
|
|
|
|
assert_equal(sc_path.collect(&:expanded_name).join(","), "$2")
|
|
|
|
|
assert_equal(sc_path.collect(&:trans).inject(&:*).to_s, "r0 *1 2.64,0")
|
2018-12-30 22:37:31 +01:00
|
|
|
|
2020-06-14 22:04:16 +02:00
|
|
|
assert_equal(l2n.shapes_of_net(n, rmetal1, true).to_s,
|
|
|
|
|
"(-980,-420;-980,2420;-620,2420;-620,-420);(-800,820;-800,1180;580,1180;580,820);(-980,2420;-980,3180;-620,3180;-620,2420);(-980,-380;-980,380;-620,380;-620,-380)")
|
2018-12-30 22:37:31 +01:00
|
|
|
|
2019-01-04 17:41:09 +01:00
|
|
|
shapes = RBA::Shapes::new
|
|
|
|
|
l2n.shapes_of_net(n, rmetal1, true, shapes)
|
|
|
|
|
r = RBA::Region::new
|
|
|
|
|
shapes.each { |s| r.insert(s.polygon) }
|
2020-06-14 22:04:16 +02:00
|
|
|
assert_equal(r.to_s,
|
|
|
|
|
"(-980,-420;-980,2420;-620,2420;-620,-420);(-800,820;-800,1180;580,1180;580,820);(-980,2420;-980,3180;-620,3180;-620,2420);(-980,-380;-980,380;-620,380;-620,-380)")
|
2019-01-04 17:41:09 +01:00
|
|
|
|
2018-12-30 22:37:31 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
def test_10_LayoutToNetlistExtractionWithoutDevices
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(File.join($ut_testsrc, "testdata", "algo", "device_extract_l1.gds"))
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(RBA::RecursiveShapeIterator::new(ly, ly.top_cell, []))
|
|
|
|
|
|
|
|
|
|
# only plain connectivity
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
ractive = l2n.make_layer( ly.layer(2, 0), "active" )
|
|
|
|
|
rpoly = l2n.make_polygon_layer( ly.layer(3, 0), "poly" )
|
|
|
|
|
rpoly_lbl = l2n.make_text_layer( ly.layer(3, 1), "poly_lbl" )
|
|
|
|
|
rdiff_cont = l2n.make_polygon_layer( ly.layer(4, 0), "diff_cont" )
|
|
|
|
|
rpoly_cont = l2n.make_polygon_layer( ly.layer(5, 0), "poly_cont" )
|
|
|
|
|
rmetal1 = l2n.make_polygon_layer( ly.layer(6, 0), "metal1" )
|
|
|
|
|
rmetal1_lbl = l2n.make_text_layer( ly.layer(6, 1), "metal1_lbl" )
|
|
|
|
|
rvia1 = l2n.make_polygon_layer( ly.layer(7, 0), "via1" )
|
|
|
|
|
rmetal2 = l2n.make_polygon_layer( ly.layer(8, 0), "metal2" )
|
|
|
|
|
rmetal2_lbl = l2n.make_text_layer( ly.layer(8, 1), "metal2_lbl" )
|
2018-12-30 22:37:31 +01:00
|
|
|
|
|
|
|
|
rsd = ractive - rpoly
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
l2n.register(rsd, "sd")
|
|
|
|
|
|
2018-12-30 22:37:31 +01:00
|
|
|
# Intra-layer
|
|
|
|
|
l2n.connect(rsd)
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly_cont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
|
|
|
|
|
# Inter-layer
|
|
|
|
|
l2n.connect(rsd, rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly, rpoly_cont)
|
|
|
|
|
l2n.connect(rpoly_cont, rmetal1)
|
|
|
|
|
l2n.connect(rdiff_cont, rmetal1)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rpoly_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal1, rmetal1_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal2, rmetal2_lbl) # attaches labels
|
|
|
|
|
|
|
|
|
|
# Perform netlist extraction
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.netlist.to_s, <<END)
|
2019-03-19 00:08:47 +01:00
|
|
|
circuit TRANS ($1=$1,$2=$2,$3=$3);
|
|
|
|
|
end;
|
|
|
|
|
circuit INV2 (IN=IN,$2=$2,OUT=OUT,$4=$4,$5=$5);
|
|
|
|
|
subcircuit TRANS $1 ($1=$2,$2=$4,$3=IN);
|
|
|
|
|
subcircuit TRANS $2 ($1=$2,$2=$5,$3=IN);
|
|
|
|
|
subcircuit TRANS $3 ($1=$5,$2=OUT,$3=$2);
|
|
|
|
|
subcircuit TRANS $4 ($1=$4,$2=OUT,$3=$2);
|
|
|
|
|
end;
|
|
|
|
|
circuit RINGO ();
|
|
|
|
|
subcircuit INV2 $1 (IN=$I8,$2=FB,OUT=OSC,$4=VSS,$5=VDD);
|
2019-12-15 09:46:40 +01:00
|
|
|
subcircuit INV2 $2 (IN=FB,$2=$I38,OUT=$I19,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $3 (IN=$I19,$2=$I39,OUT=$I1,$4=VSS,$5=VDD);
|
2019-03-19 00:08:47 +01:00
|
|
|
subcircuit INV2 $4 (IN=$I1,$2=$I40,OUT=$I2,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $5 (IN=$I2,$2=$I41,OUT=$I3,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $6 (IN=$I3,$2=$I42,OUT=$I4,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $7 (IN=$I4,$2=$I43,OUT=$I5,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $8 (IN=$I5,$2=$I44,OUT=$I6,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $9 (IN=$I6,$2=$I45,OUT=$I7,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $10 (IN=$I7,$2=$I46,OUT=$I8,$4=VSS,$5=VDD);
|
|
|
|
|
end;
|
2018-12-30 22:37:31 +01:00
|
|
|
END
|
|
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
def test_11_LayoutToNetlistExtractionWithDevices
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(File.join($ut_testsrc, "testdata", "algo", "device_extract_l1.gds"))
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(RBA::RecursiveShapeIterator::new(ly, ly.top_cell, []))
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
rnwell = l2n.make_layer( ly.layer(1, 0), "nwell" )
|
|
|
|
|
ractive = l2n.make_layer( ly.layer(2, 0), "active" )
|
|
|
|
|
rpoly = l2n.make_polygon_layer( ly.layer(3, 0), "poly" )
|
|
|
|
|
rpoly_lbl = l2n.make_text_layer( ly.layer(3, 1), "poly_lbl" )
|
|
|
|
|
rdiff_cont = l2n.make_polygon_layer( ly.layer(4, 0), "diff_cont" )
|
|
|
|
|
rpoly_cont = l2n.make_polygon_layer( ly.layer(5, 0), "poly_cont" )
|
|
|
|
|
rmetal1 = l2n.make_polygon_layer( ly.layer(6, 0), "metal1" )
|
|
|
|
|
rmetal1_lbl = l2n.make_text_layer( ly.layer(6, 1), "metal1_lbl" )
|
|
|
|
|
rvia1 = l2n.make_polygon_layer( ly.layer(7, 0), "via1" )
|
|
|
|
|
rmetal2 = l2n.make_polygon_layer( ly.layer(8, 0), "metal2" )
|
|
|
|
|
rmetal2_lbl = l2n.make_text_layer( ly.layer(8, 1), "metal2_lbl" )
|
2018-12-30 22:37:31 +01:00
|
|
|
|
|
|
|
|
rpactive = ractive & rnwell
|
|
|
|
|
rpgate = rpactive & rpoly
|
|
|
|
|
rpsd = rpactive - rpgate
|
|
|
|
|
|
|
|
|
|
rnactive = ractive - rnwell
|
|
|
|
|
rngate = rnactive & rpoly
|
|
|
|
|
rnsd = rnactive - rngate
|
|
|
|
|
|
|
|
|
|
# PMOS transistor device extraction
|
|
|
|
|
pmos_ex = RBA::DeviceExtractorMOS3Transistor::new("PMOS")
|
|
|
|
|
l2n.extract_devices(pmos_ex, { "SD" => rpsd, "G" => rpgate, "P" => rpoly })
|
|
|
|
|
|
|
|
|
|
# NMOS transistor device extraction
|
|
|
|
|
nmos_ex = RBA::DeviceExtractorMOS3Transistor::new("NMOS")
|
|
|
|
|
l2n.extract_devices(nmos_ex, { "SD" => rnsd, "G" => rngate, "P" => rpoly })
|
|
|
|
|
|
|
|
|
|
# Define connectivity for netlist extraction
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
l2n.register(rpsd, "psd")
|
|
|
|
|
l2n.register(rnsd, "nsd")
|
|
|
|
|
|
2018-12-30 22:37:31 +01:00
|
|
|
# Intra-layer
|
|
|
|
|
l2n.connect(rpsd)
|
|
|
|
|
l2n.connect(rnsd)
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly_cont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
|
|
|
|
|
# Inter-layer
|
|
|
|
|
l2n.connect(rpsd, rdiff_cont)
|
|
|
|
|
l2n.connect(rnsd, rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly, rpoly_cont)
|
|
|
|
|
l2n.connect(rpoly_cont, rmetal1)
|
|
|
|
|
l2n.connect(rdiff_cont, rmetal1)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rpoly_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal1, rmetal1_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal2, rmetal2_lbl) # attaches labels
|
|
|
|
|
|
|
|
|
|
# Perform netlist extraction
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.netlist.to_s, <<END)
|
2019-03-19 00:08:47 +01:00
|
|
|
circuit RINGO ();
|
|
|
|
|
subcircuit INV2 $1 (IN=$I8,$2=FB,OUT=OSC,$4=VSS,$5=VDD);
|
2019-12-15 09:46:40 +01:00
|
|
|
subcircuit INV2 $2 (IN=FB,$2=$I38,OUT=$I19,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $3 (IN=$I19,$2=$I39,OUT=$I1,$4=VSS,$5=VDD);
|
2019-03-19 00:08:47 +01:00
|
|
|
subcircuit INV2 $4 (IN=$I1,$2=$I40,OUT=$I2,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $5 (IN=$I2,$2=$I41,OUT=$I3,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $6 (IN=$I3,$2=$I42,OUT=$I4,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $7 (IN=$I4,$2=$I43,OUT=$I5,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $8 (IN=$I5,$2=$I44,OUT=$I6,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $9 (IN=$I6,$2=$I45,OUT=$I7,$4=VSS,$5=VDD);
|
|
|
|
|
subcircuit INV2 $10 (IN=$I7,$2=$I46,OUT=$I8,$4=VSS,$5=VDD);
|
|
|
|
|
end;
|
|
|
|
|
circuit INV2 (IN=IN,$2=$2,OUT=OUT,$4=$4,$5=$5);
|
|
|
|
|
device PMOS $1 (S=$2,G=IN,D=$5) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device PMOS $2 (S=$5,G=$2,D=OUT) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
device NMOS $3 (S=$2,G=IN,D=$4) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device NMOS $4 (S=$4,G=$2,D=OUT) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
subcircuit TRANS $1 ($1=$2,$2=$4,$3=IN);
|
|
|
|
|
subcircuit TRANS $2 ($1=$2,$2=$5,$3=IN);
|
|
|
|
|
subcircuit TRANS $3 ($1=$5,$2=OUT,$3=$2);
|
|
|
|
|
subcircuit TRANS $4 ($1=$4,$2=OUT,$3=$2);
|
|
|
|
|
end;
|
|
|
|
|
circuit TRANS ($1=$1,$2=$2,$3=$3);
|
|
|
|
|
end;
|
2018-12-30 22:37:31 +01:00
|
|
|
END
|
|
|
|
|
|
|
|
|
|
# cleanup now
|
|
|
|
|
l2n._destroy
|
|
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
2019-01-08 00:17:58 +01:00
|
|
|
def test_12_LayoutToNetlistExtractionWithDevicesAndGlobalNets
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(File.join($ut_testsrc, "testdata", "algo", "device_extract_l3.gds"))
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(RBA::RecursiveShapeIterator::new(ly, ly.top_cell, []))
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
rbulk = l2n.make_layer( "bulk" )
|
|
|
|
|
rnwell = l2n.make_polygon_layer( ly.layer(1, 0) , "nwell" )
|
|
|
|
|
ractive = l2n.make_polygon_layer( ly.layer(2, 0) , "active" )
|
|
|
|
|
rpoly = l2n.make_polygon_layer( ly.layer(3, 0) , "poly" )
|
|
|
|
|
rpoly_lbl = l2n.make_text_layer( ly.layer(3, 1) , "poly_lbl" )
|
|
|
|
|
rdiff_cont = l2n.make_polygon_layer( ly.layer(4, 0) , "diff_cont" )
|
|
|
|
|
rpoly_cont = l2n.make_polygon_layer( ly.layer(5, 0) , "poly_cont" )
|
|
|
|
|
rmetal1 = l2n.make_polygon_layer( ly.layer(6, 0) , "metal1" )
|
|
|
|
|
rmetal1_lbl = l2n.make_text_layer( ly.layer(6, 1) , "metal1_lbl" )
|
|
|
|
|
rvia1 = l2n.make_polygon_layer( ly.layer(7, 0) , "via1" )
|
|
|
|
|
rmetal2 = l2n.make_polygon_layer( ly.layer(8, 0) , "metal2" )
|
|
|
|
|
rmetal2_lbl = l2n.make_text_layer( ly.layer(8, 1) , "metal2_lbl" )
|
|
|
|
|
rpplus = l2n.make_polygon_layer( ly.layer(10, 0) , "pplus" )
|
|
|
|
|
rnplus = l2n.make_polygon_layer( ly.layer(11, 0) , "nplus" )
|
2019-01-08 00:17:58 +01:00
|
|
|
|
|
|
|
|
ractive_in_nwell = ractive & rnwell
|
|
|
|
|
rpactive = ractive_in_nwell & rpplus
|
|
|
|
|
rntie = ractive_in_nwell & rnplus
|
|
|
|
|
rpgate = rpactive & rpoly
|
|
|
|
|
rpsd = rpactive - rpgate
|
|
|
|
|
|
|
|
|
|
ractive_outside_nwell = ractive - rnwell
|
|
|
|
|
rnactive = ractive_outside_nwell & rnplus
|
|
|
|
|
rptie = ractive_outside_nwell & rpplus
|
|
|
|
|
rngate = rnactive & rpoly
|
|
|
|
|
rnsd = rnactive - rngate
|
|
|
|
|
|
|
|
|
|
# PMOS transistor device extraction
|
|
|
|
|
pmos_ex = RBA::DeviceExtractorMOS4Transistor::new("PMOS")
|
|
|
|
|
l2n.extract_devices(pmos_ex, { "SD" => rpsd, "G" => rpgate, "P" => rpoly, "W" => rnwell })
|
|
|
|
|
|
|
|
|
|
# NMOS transistor device extraction
|
|
|
|
|
nmos_ex = RBA::DeviceExtractorMOS4Transistor::new("NMOS")
|
|
|
|
|
l2n.extract_devices(nmos_ex, { "SD" => rnsd, "G" => rngate, "P" => rpoly, "W" => rbulk })
|
|
|
|
|
|
|
|
|
|
# Define connectivity for netlist extraction
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
l2n.register(rpsd, "psd")
|
|
|
|
|
l2n.register(rnsd, "nsd")
|
|
|
|
|
l2n.register(rptie, "ptie")
|
|
|
|
|
l2n.register(rntie, "ntie")
|
|
|
|
|
|
2019-01-08 00:17:58 +01:00
|
|
|
# Intra-layer
|
|
|
|
|
l2n.connect(rpsd)
|
|
|
|
|
l2n.connect(rnsd)
|
|
|
|
|
l2n.connect(rnwell)
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly_cont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
l2n.connect(rptie)
|
|
|
|
|
l2n.connect(rntie)
|
|
|
|
|
|
|
|
|
|
# Inter-layer
|
|
|
|
|
l2n.connect(rpsd, rdiff_cont)
|
|
|
|
|
l2n.connect(rnsd, rdiff_cont)
|
|
|
|
|
l2n.connect(rpoly, rpoly_cont)
|
|
|
|
|
l2n.connect(rpoly_cont, rmetal1)
|
|
|
|
|
l2n.connect(rdiff_cont, rmetal1)
|
|
|
|
|
l2n.connect(rdiff_cont, rntie)
|
|
|
|
|
l2n.connect(rdiff_cont, rptie)
|
|
|
|
|
l2n.connect(rnwell, rntie)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rpoly_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal1, rmetal1_lbl) # attaches labels
|
|
|
|
|
l2n.connect(rmetal2, rmetal2_lbl) # attaches labels
|
|
|
|
|
|
|
|
|
|
# Global connections
|
|
|
|
|
l2n.connect_global(rptie, "BULK")
|
|
|
|
|
l2n.connect_global(rbulk, "BULK")
|
|
|
|
|
|
|
|
|
|
# Perform netlist extraction
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.netlist.to_s, <<END)
|
2019-03-19 00:08:47 +01:00
|
|
|
circuit RINGO ();
|
2019-12-18 17:28:46 +01:00
|
|
|
subcircuit INV2PAIR $1 (BULK=VSS,$2=FB,$3=VDD,$4=VSS,$5=$I11,$6=OSC,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $2 (BULK=VSS,$2=$I22,$3=VDD,$4=VSS,$5=FB,$6=$I17,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $3 (BULK=VSS,$2=$I23,$3=VDD,$4=VSS,$5=$I17,$6=$I9,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $4 (BULK=VSS,$2=$I24,$3=VDD,$4=VSS,$5=$I9,$6=$I10,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $5 (BULK=VSS,$2=$I25,$3=VDD,$4=VSS,$5=$I10,$6=$I11,$7=VDD);
|
2019-03-19 00:08:47 +01:00
|
|
|
end;
|
2019-12-15 09:46:40 +01:00
|
|
|
circuit INV2PAIR (BULK=BULK,$2=$I8,$3=$I6,$4=$I5,$5=$I3,$6=$I2,$7=$I1);
|
|
|
|
|
subcircuit INV2 $1 ($1=$I1,IN=$I3,$3=$I7,OUT=$I4,VSS=$I5,VDD=$I6,BULK=BULK);
|
|
|
|
|
subcircuit INV2 $2 ($1=$I1,IN=$I4,$3=$I8,OUT=$I2,VSS=$I5,VDD=$I6,BULK=BULK);
|
2019-03-19 00:08:47 +01:00
|
|
|
end;
|
|
|
|
|
circuit INV2 ($1=$1,IN=IN,$3=$3,OUT=OUT,VSS=VSS,VDD=VDD,BULK=BULK);
|
|
|
|
|
device PMOS $1 (S=$3,G=IN,D=VDD,B=$1) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device PMOS $2 (S=VDD,G=$3,D=OUT,B=$1) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
device NMOS $3 (S=$3,G=IN,D=VSS,B=BULK) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device NMOS $4 (S=VSS,G=$3,D=OUT,B=BULK) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
subcircuit TRANS $1 ($1=$3,$2=VSS,$3=IN);
|
|
|
|
|
subcircuit TRANS $2 ($1=$3,$2=VDD,$3=IN);
|
|
|
|
|
subcircuit TRANS $3 ($1=VDD,$2=OUT,$3=$3);
|
|
|
|
|
subcircuit TRANS $4 ($1=VSS,$2=OUT,$3=$3);
|
|
|
|
|
end;
|
|
|
|
|
circuit TRANS ($1=$1,$2=$2,$3=$3);
|
|
|
|
|
end;
|
2019-01-08 00:17:58 +01:00
|
|
|
END
|
|
|
|
|
|
|
|
|
|
l2n.netlist.combine_devices
|
|
|
|
|
l2n.netlist.make_top_level_pins
|
|
|
|
|
l2n.netlist.purge
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.netlist.to_s, <<END)
|
2019-05-31 00:11:28 +02:00
|
|
|
circuit RINGO (FB=FB,OSC=OSC,VDD=VDD,VSS=VSS);
|
2019-12-18 17:28:46 +01:00
|
|
|
subcircuit INV2PAIR $1 (BULK=VSS,$2=FB,$3=VDD,$4=VSS,$5=$I11,$6=OSC,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $2 (BULK=VSS,$2=$I22,$3=VDD,$4=VSS,$5=FB,$6=$I17,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $3 (BULK=VSS,$2=$I23,$3=VDD,$4=VSS,$5=$I17,$6=$I9,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $4 (BULK=VSS,$2=$I24,$3=VDD,$4=VSS,$5=$I9,$6=$I10,$7=VDD);
|
|
|
|
|
subcircuit INV2PAIR $5 (BULK=VSS,$2=$I25,$3=VDD,$4=VSS,$5=$I10,$6=$I11,$7=VDD);
|
2019-03-19 00:08:47 +01:00
|
|
|
end;
|
2019-12-15 09:46:40 +01:00
|
|
|
circuit INV2PAIR (BULK=BULK,$2=$I8,$3=$I6,$4=$I5,$5=$I3,$6=$I2,$7=$I1);
|
|
|
|
|
subcircuit INV2 $1 ($1=$I1,IN=$I3,$3=$I7,OUT=$I4,VSS=$I5,VDD=$I6,BULK=BULK);
|
|
|
|
|
subcircuit INV2 $2 ($1=$I1,IN=$I4,$3=$I8,OUT=$I2,VSS=$I5,VDD=$I6,BULK=BULK);
|
2019-03-19 00:08:47 +01:00
|
|
|
end;
|
|
|
|
|
circuit INV2 ($1=$1,IN=IN,$3=$3,OUT=OUT,VSS=VSS,VDD=VDD,BULK=BULK);
|
|
|
|
|
device PMOS $1 (S=$3,G=IN,D=VDD,B=$1) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device PMOS $2 (S=VDD,G=$3,D=OUT,B=$1) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
device NMOS $3 (S=$3,G=IN,D=VSS,B=BULK) (L=0.25,W=0.95,AS=0.49875,AD=0.26125,PS=2.95,PD=1.5);
|
|
|
|
|
device NMOS $4 (S=VSS,G=$3,D=OUT,B=BULK) (L=0.25,W=0.95,AS=0.26125,AD=0.49875,PS=1.5,PD=2.95);
|
|
|
|
|
end;
|
2019-01-08 00:17:58 +01:00
|
|
|
END
|
|
|
|
|
|
|
|
|
|
# cleanup now
|
|
|
|
|
l2n._destroy
|
|
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
2019-01-20 23:12:27 +01:00
|
|
|
def test_13_ReadAndWrite
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new
|
|
|
|
|
|
2020-05-22 00:58:46 +02:00
|
|
|
input = File.join($ut_testsrc, "testdata", "algo", "l2n_reader_in.txt")
|
2019-01-20 23:12:27 +01:00
|
|
|
l2n.read(input)
|
|
|
|
|
|
|
|
|
|
tmp = File::join($ut_testtmp, "tmp.txt")
|
|
|
|
|
l2n.write(tmp)
|
|
|
|
|
|
|
|
|
|
assert_equal(File.open(tmp, "r").read, File.open(input, "r").read)
|
|
|
|
|
|
|
|
|
|
assert_equal(l2n.layer_names.join(","), "poly,poly_lbl,diff_cont,poly_cont,metal1,metal1_lbl,via1,metal2,metal2_lbl,psd,nsd")
|
2019-05-27 21:00:02 +02:00
|
|
|
assert_equal(l2n.layer_name(l2n.layer_by_name("metal1")), "metal1")
|
|
|
|
|
assert_equal(l2n.layer_name(l2n.layer_by_index(l2n.layer_of(l2n.layer_by_name("metal1")))), "metal1")
|
2019-01-20 23:12:27 +01:00
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
2019-06-12 23:32:10 +02:00
|
|
|
def test_14_BuildNets
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new
|
|
|
|
|
|
2020-05-22 00:58:46 +02:00
|
|
|
input = File.join($ut_testsrc, "testdata", "algo", "l2n_reader_in.txt")
|
2019-06-12 23:32:10 +02:00
|
|
|
l2n.read(input)
|
|
|
|
|
|
|
|
|
|
# build_all_nets
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.create_cell("TOP")
|
|
|
|
|
|
|
|
|
|
cm = l2n.cell_mapping_into(ly, ly.top_cell)
|
|
|
|
|
|
|
|
|
|
lmap = {
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(10, 0)) => l2n.layer_by_name("psd"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(11, 0)) => l2n.layer_by_name("nsd"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(3, 0)) => l2n.layer_by_name("poly"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(4, 0)) => l2n.layer_by_name("diff_cont"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(5, 0)) => l2n.layer_by_name("poly_cont"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(6, 0)) => l2n.layer_by_name("metal1"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(7, 0)) => l2n.layer_by_name("via1"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(8, 0)) => l2n.layer_by_name("metal2")
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
l2n.build_all_nets(cm, ly, lmap, "NET_", nil, RBA::LayoutToNetlist::BNH_Disconnected, nil, "DEVICE_")
|
|
|
|
|
|
|
|
|
|
ly_au = RBA::Layout::new
|
|
|
|
|
au_file = File.join($ut_testsrc, "testdata", "algo", "l2n_reader_au_1.gds")
|
|
|
|
|
ly_au.read(au_file)
|
|
|
|
|
|
|
|
|
|
lmap.each do |li,v|
|
|
|
|
|
li_au = ly_au.layer(ly.get_info(li))
|
|
|
|
|
ly_region = RBA::Region::new(ly.top_cell.begin_shapes_rec(li))
|
|
|
|
|
ly_au_region = RBA::Region::new(ly_au.top_cell.begin_shapes_rec(li_au))
|
|
|
|
|
info = ly.get_info(li).to_s + ":"
|
|
|
|
|
assert_equal(info + (ly_region ^ ly_au_region).to_s, info)
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
# build_nets
|
|
|
|
|
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.create_cell("TOP")
|
|
|
|
|
|
|
|
|
|
cm = l2n.cell_mapping_into(ly, ly.top_cell)
|
|
|
|
|
|
|
|
|
|
lmap = {
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(10, 0)) => l2n.layer_by_name("psd"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(11, 0)) => l2n.layer_by_name("nsd"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(3, 0)) => l2n.layer_by_name("poly"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(4, 0)) => l2n.layer_by_name("diff_cont"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(5, 0)) => l2n.layer_by_name("poly_cont"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(6, 0)) => l2n.layer_by_name("metal1"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(7, 0)) => l2n.layer_by_name("via1"),
|
|
|
|
|
ly.insert_layer(RBA::LayerInfo::new(8, 0)) => l2n.layer_by_name("metal2")
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
nets = [
|
|
|
|
|
l2n.netlist.circuit_by_name("RINGO").net_by_name("VSS"),
|
|
|
|
|
l2n.netlist.circuit_by_name("RINGO").net_by_name("VDD")
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
l2n.build_nets(nets, cm, ly, lmap, "NET_", nil, RBA::LayoutToNetlist::BNH_SubcircuitCells, "CIRCUIT_", "DEVICE_")
|
|
|
|
|
|
|
|
|
|
ly_au = RBA::Layout::new
|
|
|
|
|
au_file = File.join($ut_testsrc, "testdata", "algo", "l2n_reader_au_1d.gds")
|
|
|
|
|
ly_au.read(au_file)
|
|
|
|
|
|
|
|
|
|
lmap.each do |li,v|
|
|
|
|
|
li_au = ly_au.layer(ly.get_info(li))
|
|
|
|
|
ly_region = RBA::Region::new(ly.top_cell.begin_shapes_rec(li))
|
|
|
|
|
ly_au_region = RBA::Region::new(ly_au.top_cell.begin_shapes_rec(li_au))
|
|
|
|
|
info = ly.get_info(li).to_s + ":"
|
|
|
|
|
assert_equal(info + (ly_region ^ ly_au_region).to_s, info)
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
2019-03-02 00:38:51 +01:00
|
|
|
def test_20_Antenna
|
|
|
|
|
|
|
|
|
|
# --- simple antenna check
|
|
|
|
|
|
|
|
|
|
input = File.join($ut_testsrc, "testdata", "algo", "antenna_l1.gds")
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(input)
|
|
|
|
|
|
|
|
|
|
au = File.join($ut_testsrc, "testdata", "algo", "antenna_au1.gds")
|
|
|
|
|
ly_au = RBA::Layout::new
|
|
|
|
|
ly_au.read(au)
|
|
|
|
|
|
|
|
|
|
dss = RBA::DeepShapeStore::new
|
|
|
|
|
assert_equal(dss.is_singular?, false)
|
|
|
|
|
|
|
|
|
|
rdiode = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(1, 0)), dss)
|
|
|
|
|
rpoly = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(6, 0)), dss)
|
|
|
|
|
rcont = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(8, 0)), dss)
|
|
|
|
|
rmetal1 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(9, 0)), dss)
|
|
|
|
|
rvia1 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(11, 0)), dss)
|
|
|
|
|
rmetal2 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(12, 0)), dss)
|
|
|
|
|
assert_equal(dss.is_singular?, true)
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rdiode, "diode")
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a1_3 = l2n.antenna_check(rpoly, rmetal1, 3)
|
|
|
|
|
a1_10 = l2n.antenna_check(rpoly, rmetal1, 10)
|
|
|
|
|
a1_30 = l2n.antenna_check(rpoly, rmetal1, 30)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a1_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(100, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a1_10.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(101, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a1_30.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(102, 0)))).to_s, "")
|
|
|
|
|
|
|
|
|
|
# --- same with flat
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
|
|
|
|
|
input = File.join($ut_testsrc, "testdata", "algo", "antenna_l1.gds")
|
|
|
|
|
ly = RBA::Layout::new
|
|
|
|
|
ly.read(input)
|
|
|
|
|
|
|
|
|
|
au = File.join($ut_testsrc, "testdata", "algo", "antenna_au1.gds")
|
|
|
|
|
ly_au = RBA::Layout::new
|
|
|
|
|
ly_au.read(au)
|
|
|
|
|
|
|
|
|
|
rfdiode = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(1, 0)))
|
|
|
|
|
rfpoly = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(6, 0)))
|
|
|
|
|
rfcont = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(8, 0)))
|
|
|
|
|
rfmetal1 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(9, 0)))
|
|
|
|
|
rfvia1 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(11, 0)))
|
|
|
|
|
rfmetal2 = RBA::Region::new(ly.top_cell.begin_shapes_rec(ly.layer(12, 0)))
|
|
|
|
|
assert_equal(rfdiode.is_deep?, false)
|
|
|
|
|
assert_equal(rfpoly.is_deep?, false)
|
|
|
|
|
assert_equal(rfmetal1.is_deep?, false)
|
|
|
|
|
assert_equal(rfvia1.is_deep?, false)
|
|
|
|
|
assert_equal(rfmetal2.is_deep?, false)
|
|
|
|
|
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(ly.top_cell.name, ly.dbu)
|
|
|
|
|
|
|
|
|
|
l2n.register(rfdiode, "diode")
|
|
|
|
|
l2n.register(rfpoly, "poly")
|
|
|
|
|
l2n.register(rfcont, "cont")
|
|
|
|
|
l2n.register(rfmetal1, "metal1")
|
|
|
|
|
l2n.register(rfvia1, "via1")
|
|
|
|
|
l2n.register(rfmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rfpoly)
|
|
|
|
|
l2n.connect(rfcont)
|
|
|
|
|
l2n.connect(rfmetal1)
|
|
|
|
|
l2n.connect(rfpoly, rfcont)
|
|
|
|
|
l2n.connect(rfcont, rfmetal1)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a1_3 = l2n.antenna_check(rfpoly, rfmetal1, 3)
|
|
|
|
|
a1_10 = l2n.antenna_check(rfpoly, rfmetal1, 10)
|
|
|
|
|
a1_30 = l2n.antenna_check(rfpoly, rfmetal1, 30)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a1_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(100, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a1_10.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(101, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a1_30.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(102, 0)))).to_s, "")
|
|
|
|
|
|
|
|
|
|
# --- simple antenna check with metal2
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rdiode, "diode")
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a2_5 = l2n.antenna_check(rpoly, rmetal2, 5)
|
|
|
|
|
a2_10 = l2n.antenna_check(rpoly, rmetal2, 10)
|
|
|
|
|
a2_17 = l2n.antenna_check(rpoly, rmetal2, 17)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a2_5.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(200, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a2_10.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(201, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a2_17.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(202, 0)))).to_s, "")
|
|
|
|
|
|
|
|
|
|
# --- antenna check with diodes and antenna effect reduction
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rdiode, "diode")
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rdiode)
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rdiode, rcont)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a3_3 = l2n.antenna_check(rpoly, rmetal1, 3, [ [ rdiode, 8.0 ] ] )
|
|
|
|
|
a3_10 = l2n.antenna_check(rpoly, rmetal1, 10, [ [ rdiode, 8.0 ] ])
|
|
|
|
|
a3_30 = l2n.antenna_check(rpoly, rmetal1, 30, [ [ rdiode, 8.0 ] ])
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a3_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(300, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a3_10.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(301, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a3_30.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(302, 0)))).to_s, "")
|
|
|
|
|
|
|
|
|
|
# --- antenna check with diodes
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rdiode, "diode")
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rdiode)
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rdiode, rcont)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
2020-05-30 21:45:48 +02:00
|
|
|
a4_3 = l2n.antenna_check(rpoly, rmetal1, 3, [ rdiode ])
|
2019-03-02 00:38:51 +01:00
|
|
|
a4_10 = l2n.antenna_check(rpoly, rmetal1, 10, [ rdiode ])
|
|
|
|
|
a4_30 = l2n.antenna_check(rpoly, rmetal1, 30, [ rdiode ])
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a4_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(400, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a4_10.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(401, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a4_30.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(402, 0)))).to_s, "")
|
|
|
|
|
|
2020-05-30 21:45:48 +02:00
|
|
|
# --- antenna check metal perimeter included
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a5_5 = l2n.antenna_check(rpoly, 0.0, rmetal2, 1.0, 5)
|
|
|
|
|
a5_15 = l2n.antenna_check(rpoly, 0.0, rmetal2, 1.0, 15)
|
|
|
|
|
a5_29 = l2n.antenna_check(rpoly, 0.0, rmetal2, 1.0, 29)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a5_5.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(500, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a5_15.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(501, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a5_29.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(502, 0)))).to_s, "")
|
|
|
|
|
|
2020-06-05 10:55:07 +02:00
|
|
|
b5_5 = l2n.antenna_check(rpoly, 2.0, 0.0, rmetal2, 1.0, 1.0, 2.5)
|
|
|
|
|
b5_15 = l2n.antenna_check(rpoly, 2.0, 0.0, rmetal2, 1.0, 1.0, 7.5)
|
|
|
|
|
b5_29 = l2n.antenna_check(rpoly, 2.0, 0.0, rmetal2, 1.0, 1.0, 14.5)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((b5_5.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(500, 0)))).to_s, "")
|
|
|
|
|
assert_equal((b5_15.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(501, 0)))).to_s, "")
|
|
|
|
|
assert_equal((b5_29.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(502, 0)))).to_s, "")
|
|
|
|
|
|
2020-05-30 21:45:48 +02:00
|
|
|
# --- antenna check gate perimeter included
|
|
|
|
|
|
|
|
|
|
l2n._destroy
|
|
|
|
|
l2n = RBA::LayoutToNetlist::new(dss)
|
|
|
|
|
|
|
|
|
|
l2n.register(rpoly, "poly")
|
|
|
|
|
l2n.register(rcont, "cont")
|
|
|
|
|
l2n.register(rmetal1, "metal1")
|
|
|
|
|
l2n.register(rvia1, "via1")
|
|
|
|
|
l2n.register(rmetal2, "metal2")
|
|
|
|
|
|
|
|
|
|
l2n.connect(rpoly)
|
|
|
|
|
l2n.connect(rcont)
|
|
|
|
|
l2n.connect(rmetal1)
|
|
|
|
|
l2n.connect(rvia1)
|
|
|
|
|
l2n.connect(rmetal2)
|
|
|
|
|
l2n.connect(rpoly, rcont)
|
|
|
|
|
l2n.connect(rcont, rmetal1)
|
|
|
|
|
l2n.connect(rmetal1, rvia1)
|
|
|
|
|
l2n.connect(rvia1, rmetal2)
|
|
|
|
|
|
|
|
|
|
l2n.extract_netlist
|
|
|
|
|
|
|
|
|
|
a6_3 = l2n.antenna_check(rpoly, 0.3, rmetal2, 0.0, 3)
|
|
|
|
|
a6_5 = l2n.antenna_check(rpoly, 0.3, rmetal2, 0.0, 5)
|
|
|
|
|
a6_9 = l2n.antenna_check(rpoly, 0.3, rmetal2, 0.0, 9)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((a6_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(600, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a6_5.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(601, 0)))).to_s, "")
|
|
|
|
|
assert_equal((a6_9.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(602, 0)))).to_s, "")
|
|
|
|
|
|
2020-06-05 10:55:07 +02:00
|
|
|
b6_3 = l2n.antenna_check(rpoly, 1.0, 0.3, rmetal2, 2.0, 0.0, 6)
|
|
|
|
|
b6_5 = l2n.antenna_check(rpoly, 1.0, 0.3, rmetal2, 2.0, 0.0, 10)
|
|
|
|
|
b6_9 = l2n.antenna_check(rpoly, 1.0, 0.3, rmetal2, 2.0, 0.0, 18)
|
|
|
|
|
|
|
|
|
|
# Note: flatten.merged performs some normalization
|
|
|
|
|
assert_equal((b6_3.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(600, 0)))).to_s, "")
|
|
|
|
|
assert_equal((b6_5.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(601, 0)))).to_s, "")
|
|
|
|
|
assert_equal((b6_9.flatten ^ RBA::Region::new(ly_au.top_cell.begin_shapes_rec(ly_au.layer(602, 0)))).to_s, "")
|
|
|
|
|
|
2019-03-02 00:38:51 +01:00
|
|
|
end
|
|
|
|
|
|
2018-12-30 22:37:31 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
load("test_epilogue.rb")
|
|
|
|
|
|
|
|
|
|
|