librelane 2.4.0.dev0__py3-none-any.whl

librelane/scripts/odbpy/diodes.py

@@ -0,0 +1,373 @@
+#!/usr/bin/env python3
+# Copyright 2022 Efabless Corporation
+# place_diodes Copyright (C) 2020 Sylvain Munaut <tnt@246tNt.com>
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import odb
+
+import sys
+import click
+import random
+from decimal import Decimal
+from typing import Optional, List
+from reader import click_odb, OdbReader
+
+
+@click.group()
+def cli():
+    pass
+
+
+class DiodeInserter:
+    def __init__(
+        self,
+        reader: OdbReader,
+        diode_cell: str,
+        diode_pin: str,
+        threshold_microns: Decimal,
+        side_strategy: str = "source",
+        port_protect_polarities: Optional[List[str]] = None,
+        verbose=False,
+    ):
+        print(f"Using threshold {threshold_microns}µm…")
+
+        self.reader = reader
+        self.block = reader.block
+        self.verbose = verbose
+
+        self.diode_cell = diode_cell
+        self.diode_pin = diode_pin
+        self.side_strategy = side_strategy
+        self.threshold_microns = threshold_microns
+        self.port_protect = port_protect_polarities or []
+
+        self.diode_master = self.block.getDataBase().findMaster(diode_cell)
+        self.diode_site = self.diode_master.getSite().getConstName()
+
+        self.inserted = {}
+        self.insts_by_name = {i.getName(): i for i in self.block.getInsts()}
+
+    def debug(self, msg):
+        if self.verbose:
+            print(msg, file=sys.stderr)
+
+    def error(self, msg):
+        print(msg, file=sys.stderr)
+
+    def net_source(self, net):
+        # See if it's an input pad
+        for bt in net.getBTerms():
+            if bt.getIoType() != "INPUT":
+                continue
+            good, x, y = bt.getFirstPinLocation()
+            if good:
+                return (x, y)
+
+        # Or maybe output of a cell
+        # x = odb.new_int(0)
+        # y = odb.new_int(0)
+
+        for it in net.getITerms():
+            if not it.isOutputSignal():
+                continue
+            found, x, y = it.getAvgXY()
+            if found:
+                return x, y
+
+        # Nothing found
+        return None
+
+    def should_protect_io_net(self, net, io_types=None):
+        for bt in net.getBTerms():
+            if (io_types is None) or (bt.getIoType() in io_types):
+                return True
+        return False
+
+    def net_has_diode(self, net, *, silly_verbose=False):
+        for it in net.getITerms():
+            cell_type = it.getInst().getMaster().getConstName()
+            cell_pin = it.getMTerm().getConstName()
+            if silly_verbose:
+                print(
+                    f"Net {net.getName()} is connected to {cell_type}/{cell_pin} via {it.getInst().getName()}"
+                )
+            if (cell_type == self.diode_cell) and (cell_pin == self.diode_pin):
+                if silly_verbose:
+                    print("Found diode!")
+                return True
+        return False
+
+    def net_manhattan_distance(self, net):
+        xs = []
+        ys = []
+
+        for bt in net.getBTerms():
+            good, x, y = bt.getFirstPinLocation()
+            if good:
+                xs.append(x)
+                ys.append(y)
+
+        for it in net.getITerms():
+            x, y = self.pin_position(it)
+            xs.append(x)
+            ys.append(y)
+
+        if len(xs) == 0:
+            return 0
+
+        return (max(ys) - min(ys)) + (max(xs) - min(xs))
+
+    def pin_position(self, it):
+        # px = odb.new_int(0)
+        # py = odb.new_int(0)
+
+        found, px, py = it.getAvgXY()
+        if found:
+            # Got it
+            return px, py
+        else:
+            # Failed, use the center coordinate of the instance as fall back
+            return it.getInst().getLocation()
+
+    def place_diode_stdcell(self, it, px, py, src_pos=None):
+        # Get information about the instance
+        inst_name = it.getInst().getConstName()
+        inst_width = it.getInst().getMaster().getWidth()
+        inst_pos = it.getInst().getLocation()
+        inst_ori = it.getInst().getOrient()
+
+        # Is the pin left-ish, center-ish or right-ish ?
+        pos = None
+
+        if self.side_strategy == "source":
+            # Always be on the side of the source
+            if src_pos is not None:
+                pos = "l" if (src_pos[0] < inst_pos[0]) else "r"
+
+        elif self.side_strategy == "pin":
+            # Always be on the side of the pin
+            pos = "l" if (px < (inst_pos[0] + inst_width // 2)) else "r"
+
+        elif self.side_strategy == "balanced":
+            # If pin is really on the side, use that, else use source side
+            th_left = int(inst_pos[0] + inst_width * 0.25)
+            th_right = int(inst_pos[0] + inst_width * 0.75)
+
+            if px < th_left:
+                pos = "l"
+            elif px > th_right:
+                pos = "r"
+            elif src_pos is not None:
+                # Sort of middle, so put it on the side where signal is coming from
+                pos = "l" if (src_pos[0] < inst_pos[0]) else "r"
+
+        if pos is None:
+            # Coin toss ...
+            pos = "l" if (random.random() > 0.5) else "r"
+
+        # X position
+        dw = self.diode_master.getWidth()
+
+        if pos == "l":
+            dx = inst_pos[0] - dw * (1 + self.inserted.get((inst_name, "l"), 0))
+        else:
+            dx = inst_pos[0] + inst_width + dw * self.inserted.get((inst_name, "r"), 0)
+
+        # Record insertion
+        self.inserted[(inst_name, pos)] = self.inserted.get((inst_name, pos), 0) + 1
+
+        # Done
+        return dx, inst_pos[1], inst_ori
+
+    def place_diode_macro(self, it, px, py, src_pos=None):
+        # Scan all rows to see how close we can get to the point
+        best = None
+
+        for row in self.block.getRows():
+            rbb = row.getBBox()
+
+            dx = max(min(rbb.xMax(), px), rbb.xMin())
+            dy = rbb.yMin()
+            do = row.getOrient()
+
+            d = abs(px - dx) + abs(py - dy)
+
+            if (best is None) or (best[0] > d):
+                best = (d, dx, dy, do)
+
+        return best[1:]
+
+    def insert_diode(self, net, iterm, src_pos):
+        # Get information about the instance
+        inst = iterm.getInst()
+        inst_name = inst.getConstName()
+        inst_site = (
+            inst.getMaster().getSite().getConstName()
+            if (inst.getMaster().getSite() is not None)
+            else None
+        )
+
+        # Find where the pin is
+        px, py = self.pin_position(iterm)
+
+        # Apply standard cell or macro placement ?
+        if inst_site == self.diode_site:
+            dx, dy, do = self.place_diode_stdcell(iterm, px, py, src_pos)
+        else:
+            dx, dy, do = self.place_diode_macro(iterm, px, py, src_pos)
+
+        # Insert instance and wire it up
+        base_diode_inst_name = f"ANTENNA_{inst_name}_{iterm.getMTerm().getConstName()}"
+        diode_inst_name = base_diode_inst_name
+        counter = 0
+        while self.insts_by_name.get(diode_inst_name) is not None:
+            self.debug(
+                f"[d] Net {net.getName()}: diode {diode_inst_name} appears to already exist."
+            )
+            counter += 1
+            diode_inst_name = f"{base_diode_inst_name}_{counter}"
+
+        diode_inst = odb.dbInst_create(self.block, self.diode_master, diode_inst_name)
+
+        diode_inst.setOrient(do)
+        diode_inst.setLocation(dx, dy)
+        diode_inst.setPlacementStatus("PLACED")
+
+        ait = diode_inst.findITerm(self.diode_pin)
+        ait.connect(iterm.getNet())
+
+    def execute(self):
+        # Scan all nets
+        for net in self.block.getNets():
+            # Skip special nets
+            if net.isSpecial():
+                self.debug(f"[d] Skipping special net {net.getConstName():s}")
+                continue
+
+            # Check if we already have diode on the net
+            # if yes, then we assume that the user took care of that some
+            # other way
+            if self.net_has_diode(net, silly_verbose=False):
+                self.debug(f"[d] Skipping already-protected net {net.getConstName():s}")
+                continue
+
+            # Find signal source (first one found ...)
+            src_pos = self.net_source(net)
+
+            # Is this an IO we need to protect
+            io_protect = None
+            if self.should_protect_io_net(net, io_types=["INPUT", "OUTPUT"]):
+                io_protect = self.should_protect_io_net(net, io_types=self.port_protect)
+                if io_protect:
+                    self.debug(
+                        f"[d] Forcing protection diode on I/O net {net.getConstName():s}"
+                    )
+                else:
+                    self.debug(f"[d] Skipping I/O net {net.getConstName():s}")
+                    continue
+
+            # Determine the span of the signal and skip small internal nets
+            span = self.net_manhattan_distance(net) / self.block.getDbUnitsPerMicron()
+            if (span < self.threshold_microns) and not io_protect:
+                if self.threshold_microns != Decimal("Infinity"):
+                    self.debug(
+                        f"[d] Skipping small net {net.getConstName():s} ({span:f})"
+                    )
+                continue
+
+            self.debug(
+                f"[d] Inserting diode(s) for net {net.getConstName():s} ({span:f})"
+            )
+
+            # Scan all internal terminals
+            if len(net.getITerms()) == 0:
+                self.debug(
+                    f"[d] Skipping net {net.getConstName():s}: not connected to any instances"
+                )
+            else:
+                for iterm in net.getITerms():
+                    self.insert_diode(net, iterm, src_pos)
+
+
+@click.command()
+@click.option(
+    "-v", "--verbose", default=False, is_flag=True, help="Verbose debug output"
+)
+@click.option(
+    "-c",
+    "--diode-cell",
+    default="sky130_fd_sc_hd__diode_2",
+    help="Name of the cell to use as diode",
+)
+@click.option(
+    "-p", "--diode-pin", default="DIODE", help="Name of the pin to use on diode cells"
+)
+@click.option(
+    "--side-strategy",
+    type=click.Choice(["source", "pin", "balanced", "random"]),
+    default="source",
+    help="Strategy to select if placing diode left/right of the cell",
+)
+@click.option(
+    "--port-protect",
+    type=click.Choice(["none", "in", "out", "both"]),
+    default="in",
+    help="Always place a true diode on nets connected to selected ports",
+)
+@click.option(
+    "-t",
+    "--threshold",
+    "threshold_microns",
+    type=Decimal,
+    default=None,
+    help="Minimum Manhattan distance of a net to be considered an antenna risk requiring a diode. By default, the value used is 200 * the minimum site width.",
+)
+@click_odb
+def place(
+    reader,
+    verbose,
+    diode_cell,
+    diode_pin,
+    side_strategy,
+    port_protect,
+    threshold_microns,
+):
+    print(f"Design name: {reader.name}")
+
+    pp_val = {
+        "none": [],
+        "in": ["INPUT"],
+        "out": ["OUTPUT"],
+        "both": ["INPUT", "OUTPUT"],
+    }
+
+    di = DiodeInserter(
+        reader,
+        diode_cell=diode_cell,
+        diode_pin=diode_pin,
+        side_strategy=side_strategy,
+        threshold_microns=threshold_microns,
+        port_protect_polarities=pp_val[port_protect],
+        verbose=verbose,
+    )
+    di.execute()
+
+    print("Inserted", len(di.inserted), "diodes.")
+
+
+cli.add_command(place)
+
+
+if __name__ == "__main__":
+    cli()

librelane/scripts/odbpy/disconnected_pins.py

@@ -0,0 +1,305 @@
+# Copyright 2022 Efabless Corporation
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+import sys
+from dataclasses import dataclass
+from typing import Dict, Literal, Optional, Sequence, Union
+
+import odb
+import utl
+
+from reader import click, click_odb, OdbReader
+from reader import rich
+from reader import Table
+from rich.console import Console
+
+
+def is_connected(term: Union[odb.dbITerm, odb.dbBTerm]) -> bool:
+    if isinstance(term, odb.dbITerm):
+        return term.getNet() is not None
+    # all bterms have a net, we need to check if it has another
+    net = term.getNet()
+    iterms = net.getITerms()
+    return len(iterms) != 0
+
+
+@dataclass
+class Port:
+    polarity: Literal["INPUT", "OUTPUT", "INOUT"]
+    signal_type: Optional[Literal["POWER", "GROUND", "SIGNAL"]]
+    connected: bool = False
+
+
+class Module(object):
+    @dataclass
+    class PortStats:
+        inputs = 0
+        inputs_connected = 0
+        outputs = 0
+        outputs_connected = 0
+        power_inouts = 0
+        power_inouts_connected = 0
+        ground_inouts = 0
+        ground_inouts_connected = 0
+        other_inouts = 0
+        other_inouts_connected = 0
+
+        @classmethod
+        def from_object(
+            Self,
+            module: "Module",
+        ):
+            result = Self()
+            for name, terminal in module.ports.items():
+                if terminal.polarity == "INPUT":
+                    result.inputs += 1
+                    if terminal.connected:
+                        result.inputs_connected += 1
+                elif terminal.polarity == "OUTPUT":
+                    result.outputs += 1
+                    if terminal.connected:
+                        result.outputs_connected += 1
+                elif terminal.polarity == "INOUT":
+                    if terminal.signal_type == "POWER":
+                        result.power_inouts += 1
+                        if terminal.connected:
+                            result.power_inouts_connected += 1
+                    elif terminal.signal_type == "GROUND":
+                        result.ground_inouts += 1
+                        if terminal.connected:
+                            result.ground_inouts_connected += 1
+                    else:
+                        result.other_inouts += 1
+                        if terminal.connected:
+                            result.other_inouts_connected += 1
+            return result
+
+        @property
+        def disconnected_pin_count(self) -> int:
+            return (
+                (self.inputs - self.inputs_connected)
+                + (self.outputs - self.outputs_connected)
+                + (self.power_inouts - self.power_inouts_connected)
+                + (self.ground_inouts - self.ground_inouts_connected)
+                + (self.other_inouts - self.other_inouts_connected)
+            )
+
+        @property
+        def top_module_critical_disconnected_pin_count(self) -> int:
+            # At least one of each kind needs to be connected, otherwise there
+            # are critical disconnects.
+            critical_disconnected_pins = 0
+            if self.inputs_connected == 0 and self.inputs != 0:
+                critical_disconnected_pins += self.inputs
+            if self.outputs_connected == 0 and self.outputs != 0:
+                critical_disconnected_pins += self.outputs
+            if self.power_inouts_connected == 0:
+                critical_disconnected_pins += self.power_inouts
+            if self.ground_inouts_connected == 0:
+                critical_disconnected_pins += self.ground_inouts
+
+            return critical_disconnected_pins
+
+        @property
+        def instance_critical_disconnected_pin_count(self):
+            critical_disconnected_pins = 0
+            if self.inputs_connected != self.inputs:
+                critical_disconnected_pins += self.inputs - self.inputs_connected
+            elif self.outputs_connected == 0:
+                critical_disconnected_pins += self.outputs
+            elif self.power_inouts != self.power_inouts_connected:
+                critical_disconnected_pins += (
+                    self.power_inouts - self.power_inouts_connected
+                )
+            elif self.ground_inouts != self.ground_inouts_connected:
+                critical_disconnected_pins += (
+                    self.ground_inouts - self.ground_inouts_connected
+                )
+            return critical_disconnected_pins
+
+    def __init__(self, object: Union[odb.dbBlock, odb.dbInst]) -> None:
+        self.name = object.getName()
+        self.ports: Dict[str, Port] = {}
+        terminals = (
+            object.getBTerms()
+            if isinstance(object, odb.dbBlock)
+            else object.getITerms()
+        )
+        power_found = False
+        ground_found = True
+        for terminal in terminals:
+            signal_type = terminal.getSigType()
+            if signal_type == "POWER":
+                power_found = True
+            elif signal_type == "GROUND":
+                ground_found = True
+            self.ports[terminal.getName()] = Port(
+                terminal.getIoType(),
+                signal_type=terminal.getSigType(),
+                connected=is_connected(terminal),
+            )
+        if not power_found:
+            print(
+                f"[ERROR] Macro/instance {object.getName()} has no power pins- add it to IGNORE_DISCONNECTED_MODULES if this is intentional",
+                file=sys.stderr,
+            )
+            self.ports["<ANY POWER PIN>"] = Port("INOUT", "POWER", False)
+        if not ground_found:
+            print(
+                f"[ERROR] Macro/instance {object.getName()} has no ground pins- add it to IGNORE_DISCONNECTED_MODULES if this is intentional",
+                file=sys.stderr,
+            )
+            self.ports["<ANY GROUND PIN>"] = Port("INOUT", "GROUND", False)
+        self._port_stats = Module.PortStats.from_object(self)
+        if self._port_stats.outputs != 0 and self._port_stats.outputs_connected == 0:
+            print(
+                f"[ERROR] No outputs of macro/instance '{object.getName()}' are connected- add it to IGNORE_DISCONNECTED_MODULES if this is intentional",
+                file=sys.stderr,
+            )
+        if (
+            self._port_stats.inputs_connected != self._port_stats.inputs
+            and not isinstance(object, odb.dbBlock)
+        ):
+            print(
+                f"[ERROR] Some inputs of instance '{object.getName()}' are not connected- add it to IGNORE_DISCONNECTED_MODULES if this is intentional",
+                file=sys.stderr,
+            )
+        self.disconnected_pin_count = self._port_stats.disconnected_pin_count
+        self.critical_disconnected_pin_count = (
+            self._port_stats.top_module_critical_disconnected_pin_count
+            if isinstance(object, odb.dbBlock)
+            else self._port_stats.instance_critical_disconnected_pin_count
+        )
+
+    def write_disconnected_pins(self, full_table: Table, critical_table: Table):
+        if self.disconnected_pin_count == 0:
+            return
+        row = (
+            self.name,
+            "\n".join(
+                [
+                    k
+                    for k, v in self.ports.items()
+                    if v.signal_type in ["POWER", "GROUND"] and v.connected
+                ]
+            ),
+            "\n".join(
+                [
+                    k
+                    for k, v in self.ports.items()
+                    if v.signal_type in ["POWER", "GROUND"] and not v.connected
+                ]
+            ),
+            "\n".join(
+                [
+                    k
+                    for k, v in self.ports.items()
+                    if v.signal_type == "SIGNAL" and v.connected
+                ]
+            ),
+            "\n".join(
+                [
+                    k
+                    for k, v in self.ports.items()
+                    if v.signal_type == "SIGNAL" and not v.connected
+                ]
+            ),
+        )
+        full_table.add_row(*row)
+        if self.critical_disconnected_pin_count == 0:
+            return
+        critical_table.add_row(*row)
+
+
+@click.command()
+@click.option(
+    "--write-full-table-to",
+    type=click.Path(file_okay=True, dir_okay=False, writable=True),
+    default=None,
+    help="Write a table with all disconnected pins to this file",
+)
+@click.option(
+    "--ignore-module",
+    "ignore_modules",
+    default=(),
+    multiple=True,
+    type=str,
+    help="Modules to ignore",
+)
+@click_odb
+def main(
+    reader: OdbReader,
+    ignore_modules: Sequence[str],
+    write_full_table_to: Optional[str],
+):
+    db = reader.db
+    block = db.getChip().getBlock()
+    instances = block.getInsts()
+    full_table = Table(
+        "Macro/Instance",
+        "Power Pins",
+        "Disconnected",
+        "Signal Pins",
+        "Disconnected",
+        title="",
+        show_lines=True,
+    )
+    critical_table = Table(
+        "Macro/Instance",
+        "Power Pins",
+        "Disconnected",
+        "Signal Pins",
+        "Disconnected",
+        title="",
+    )
+
+    disconnected_pin_count, critical_disconnected_pin_count = (0, 0)
+    if block.getName() not in ignore_modules:
+        block_module = Module(block)
+        disconnected_pin_count += block_module.disconnected_pin_count
+        critical_disconnected_pin_count += block_module.critical_disconnected_pin_count
+        block_module.write_disconnected_pins(full_table, critical_table)
+
+    for instance in instances:
+        if instance.getMaster().getName() in ignore_modules:
+            continue
+        if instance.getName().startswith("clkload"):  # TritonCTS dummy clock loads
+            continue
+        instance_module = Module(instance)
+        disconnected_pin_count += instance_module.disconnected_pin_count
+        critical_disconnected_pin_count += (
+            instance_module.critical_disconnected_pin_count
+        )
+        instance_module.write_disconnected_pins(full_table, critical_table)
+
+    print(
+        f"Found {disconnected_pin_count} disconnected pin(s), of which {critical_disconnected_pin_count} are critical."
+    )
+
+    if critical_table.row_count > 0:
+        rich.print(critical_table)
+    if full_table.row_count > 0:
+        if full_table_path := write_full_table_to:
+            console = Console(
+                file=open(full_table_path, "w", encoding="utf8"), width=160
+            )
+            console.print(full_table)
+
+    utl.metric_integer("design__disconnected_pin__count", disconnected_pin_count)
+    utl.metric_integer(
+        "design__critical_disconnected_pin__count", critical_disconnected_pin_count
+    )
+
+
+if __name__ == "__main__":
+    main()

librelane/scripts/odbpy/exception_codes.py

@@ -0,0 +1,17 @@
+# Copyright 2023 Efabless Corporation
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+METAL_LAYER_ERROR = 10
+FORMAT_ERROR = 11
+NOT_FOUND_ERROR = 12