najaeda 0.1.0__cp311-cp311-macosx_11_0_arm64.whl → 0.1.2__cp311-cp311-macosx_11_0_arm64.whl

najaeda/netlist.py

@@ -1,30 +1,48 @@
-# SPDX-FileCopyrightText: 2024 The Naja authors <https://github.com/najaeda/naja/blob/main/AUTHORS>
+# SPDX-FileCopyrightText: 2024 The Naja authors
+# <https://github.com/najaeda/naja/blob/main/AUTHORS>
 #
 # SPDX-License-Identifier: Apache-2.0
 
-import logging
+import itertools
 from najaeda import snl
 
 
 class Equipotential:
-    """Class that represents the term and wraps some of the snl occurrence API."""
-
-    def __init__(self, inst_term):
-        ito = snl.SNLNetComponentOccurrence(inst_term.path, inst_term.term)
+    """Class that represents the term and wraps
+    some of the snl occurrence API.
+    """
+
+    def __init__(self, term):
+        if isinstance(term.term, snl.SNLBusTerm):
+            raise ValueError("Equipotential cannot be constructed on bus term")
+        ito = snl.SNLNetComponentOccurrence(
+            term.path.getHeadPath(), term.path.getTailInstance().getInstTerm(term.term)
+        )
         self.equi = snl.SNLEquipotential(ito)
 
+    def __eq__(self, value):
+        return self.equi == value.equi
+
     def get_inst_terms(self):
         for term in self.equi.getInstTermOccurrences():
-            yield InstTerm(term.getPath(), term.getInstTerm())
+            yield Term(
+                snl.SNLPath(term.getPath(), term.getInstTerm().getInstance()),
+                term.getInstTerm().getBitTerm(),
+            )
 
     def get_top_terms(self):
         for term in self.equi.getTerms():
-            yield TopTerm(snl.SNLPath(), term.getBitTerm())
+            yield Term(snl.SNLPath(), term.getBitTerm())
 
     def get_all_leaf_readers(self):
         for term in self.equi.getInstTermOccurrences():
-            if term.getInstTerm().getDirection() == snl.SNLTerm.Direction.Output:
-                yield InstTerm(term.getPath(), term.getInstTerm())
+            direction = term.getInstTerm().getDirection()
+            if direction != snl.SNLTerm.Direction.Output:
+                if term.getInstTerm().getInstance().getModel().isPrimitive():
+                    yield Term(
+                        snl.SNLPath(term.getPath(), term.getInstTerm().getInstance()),
+                        term.getInstTerm().getBitTerm(),
+                    )
 
 
 class Net:
@@ -32,66 +50,111 @@ class Net:
         self.path = path
         self.net = net
 
-    def get_name(self) -> str:
-        return self.net.getName()
+    def __eq__(self, value):
+        return self.net == value.net and self.path == value.path
 
-    def get_inst_terms(self):
-        for term in self.net.getInstTerms():
-            yield InstTerm(self.path, term)
+    def __ne__(self, value):
+        return not self == value
 
-    def get_top_terms(self):
-        for term in self.net.getBitTerms():
-            yield TopTerm(self.path, term)
+    def __lt__(self, value):
+        if self.path != value.path:
+            return self.path < value.path
+        return self.net < value.net
 
-    def __eq__(self, value):
-        return self.net == value.net and self.path == value.path
+    def __le__(self, value):
+        if self.path != value.path:
+            return self.path < value.path
+        return self.net <= value.net
 
+    def __gt__(self, value):
+        if self.path != value.path:
+            return self.path > value.path
+        return self.net > value.net
 
-class TopTerm:
-    def __init__(self, path, term):
-        self.path = path
-        self.term = term
+    def __ge__(self, value):
+        if self.path != value.path:
+            return self.path > value.path
+        return self.net >= value.net
 
-    def __eq__(self, other) -> bool:
-        return self.path == other.path and self.term == other.term
+    def __str__(self):
+        if self.path.size() > 0:
+            return f"{self.path}/{self.net}"
+        return f"{self.net}"
 
-    def __ne__(self, other) -> bool:
-        return not self == other
+    def __repr__(self):
+        return f"Net({self.path}, {self.net})"
 
-    def __lt__(self, other) -> bool:
-        if self.path != other.path:
-            return self.path < other.path
-        return self.term < other.term
+    def get_name(self) -> str:
+        """Return the name of the net."""
+        return self.net.getName()
 
-    def __le__(self, other) -> bool:
-        return self < other or self == other
+    def get_msb(self) -> int:
+        """Return the most significant bit of the net if it is a bus."""
+        if isinstance(self.net, snl.SNLBusNet):
+            return self.net.getMSB()
+        return None
 
-    def __gt__(self, other) -> bool:
-        return not self <= other
+    def get_lsb(self) -> int:
+        """Return the least significant bit of the net if it is a bus."""
+        if isinstance(self.net, snl.SNLBusNet):
+            return self.net.getLSB()
+        return None
 
-    def __ge__(self, other) -> bool:
-        return not self < other
+    def is_bus(self) -> bool:
+        """Return True if the net is a bus."""
+        return isinstance(self.net, snl.SNLBusNet)
 
-    def get_name(self) -> str:
-        return self.term.getName()
+    def is_bus_bit(self) -> bool:
+        """Return True if the net is a bit of a bus."""
+        return isinstance(self.net, snl.SNLBusNetBit)
 
-    def get_direction(self) -> snl.SNLTerm.Direction:
-        return self.term.getDirection()
+    def is_scalar(self) -> bool:
+        """Return True if the net is a scalar."""
+        return isinstance(self.net, snl.SNLScalarNet)
 
-    def get_net(self) -> Net:
-        return Net(self.path, self.term.getNet())
+    def is_bit(self) -> bool:
+        """Return True if the net is a bit."""
+        return self.is_scalar() or self.is_bus_bit()
 
-    def get_equipotential(self) -> Equipotential:
-        return Equipotential(self)
+    def is_constant(self) -> bool:
+        """Return True if the net is a constant generator."""
+        return self.net.isConstant()
 
-    def is_input(self) -> bool:
-        return self.term.getDirection() == snl.SNLTerm.Direction.Input
+    def get_width(self) -> int:
+        """Return the width of the net."""
+        return self.net.getWidth()
+
+    def get_bits(self):
+        if isinstance(self.net, snl.SNLBusNet):
+            for bit in self.net.getBits():
+                yield Net(self.path, bit)
+        else:
+            yield self
+
+    def get_bit(self, index: int):
+        if isinstance(self.net, snl.SNLBusNet):
+            return Net(self.path, self.net.getBit(index))
+        return None
+
+    def get_inst_terms(self):
+        for term in self.net.getInstTerms():
+            path = snl.SNLPath(self.path, term.getInstance())
+            yield Term(path, term.getBitTerm())
+
+    def get_terms(self):
+        for term in self.net.getBitTerms():
+            yield Term(self.path, term)
+
+    def get_components(self):
+        for term in itertools.chain(self.get_terms(), self.get_inst_terms()):
+            yield term
 
-    def is_output(self) -> bool:
-        return self.term.getDirection() == snl.SNLTerm.Direction.Output
 
+class Term:
+    Input = snl.SNLTerm.Direction.Input
+    Output = snl.SNLTerm.Direction.Output
+    InOut = snl.SNLTerm.Direction.InOut
 
-class InstTerm:
     def __init__(self, path, term):
         self.path = path
         self.term = term
@@ -116,42 +179,133 @@ class InstTerm:
     def __ge__(self, other) -> bool:
         return not self < other
 
+    def __str__(self) -> str:
+        return str(self.path) + "." + self.term.getName()
+
+    def __repr__(self) -> str:
+        return f"Term({self.path}, {self.term})"
+
+    def __make_unique(self):
+        if self.path.size() > 0:
+            snl.SNLUniquifier(self.path)
+            if self.is_bus_bit():
+                term = (
+                    self.path.getTailInstance().getModel().getTerm(self.term.getName())
+                )
+                self.term = term.getBit(self.term.getBit())
+            else:
+                self.term = (
+                    self.path.getTailInstance().getModel().getTerm(self.term.getName())
+                )
+
+    def is_bus(self) -> bool:
+        """Return True if the term is a bus."""
+        return isinstance(self.term, snl.SNLBusTerm)
+
+    def is_bus_bit(self) -> bool:
+        """Return True if the term is a bit of a bus."""
+        return isinstance(self.term, snl.SNLBusTermBit)
+
+    def is_scalar(self) -> bool:
+        """Return True if the term is a scalar."""
+        return isinstance(self.term, snl.SNLScalarTerm)
+
+    def is_bit(self) -> bool:
+        """Return True if the term is a bit."""
+        return self.is_scalar() or self.is_bus_bit()
+
+    def get_msb(self) -> int:
+        """Return the most significant bit of the term if it is a bus."""
+        if isinstance(self.term, snl.SNLBusTerm):
+            return self.term.getMSB()
+        return None
+
+    def get_lsb(self) -> int:
+        """Return the least significant bit of the term if it is a bus."""
+        if isinstance(self.term, snl.SNLBusTerm):
+            return self.term.getLSB()
+        return None
+
+    def get_width(self) -> int:
+        """Return the width of the term. 1 if scalar."""
+        return self.term.getWidth()
+
     def get_name(self) -> str:
+        """Return the name of the term."""
         return self.term.getName()
 
+    def get_direction(self) -> snl.SNLTerm.Direction:
+        """Return the direction of the term."""
+        if self.term.getDirection() == snl.SNLTerm.Direction.Input:
+            return Term.Input
+        elif self.term.getDirection() == snl.SNLTerm.Direction.Output:
+            return Term.Output
+        elif self.term.getDirection() == snl.SNLTerm.Direction.InOut:
+            return Term.InOut
+
     def get_net(self) -> Net:
-        return Net(self.path, self.term.getNet())
+        if isinstance(self.term, snl.SNLBusTerm):
+            return None  # FIXME xtof in the future
+        net = None
+        if self.path.size() > 0:
+            instTerm = self.path.getTailInstance().getInstTerm(self.term)
+            net = instTerm.getNet()
+        else:
+            net = get_top().model.getTerm(self.term.getName()).getNet()
+        return Net(self.path, net)
 
     def get_instance(self):
-        inst = self.term.getInstance()
-        path = snl.SNLPath(self.path, inst)
-        return Instance(path, inst)
+        return Instance(self.path)
 
-    def get_flat_fanout(self) -> Equipotential:
+    def get_flat_fanout(self):
         return self.get_equipotential().get_all_leaf_readers()
 
     def get_equipotential(self) -> Equipotential:
         return Equipotential(self)
 
     def is_input(self) -> bool:
+        """Return True if the term is an input."""
         return self.term.getDirection() == snl.SNLTerm.Direction.Input
 
     def is_output(self) -> bool:
+        """Return True if the term is an output."""
         return self.term.getDirection() == snl.SNLTerm.Direction.Output
 
-    def get_string(self) -> str:
-        return str(snl.SNLInstTermOccurrence(self.path, self.term))
+    def get_bits(self):
+        if isinstance(self.term, snl.SNLBusTerm):
+            for bit in self.term.getBits():
+                yield Term(self.path, bit)
+        else:
+            yield self
+
+    def get_bit(self, index: int):
+        if isinstance(self.term, snl.SNLBusTerm):
+            return Term(self.path, self.term.getBit(index))
+        return None
 
     def disconnect(self):
-        uniq = snl.SNLUniquifier(self.path)
-        self.term.setNet(snl.SNLNet())
+        self.__make_unique()
+        inst = self.path.getTailInstance()
+        for bit in self.term.getBits():
+            iterm = inst.getInstTerm(bit)
+            iterm.setNet(None)
 
     def connect(self, net: Net):
-        uniq = snl.SNLUniquifier(self.path)
-        self.term.setNet(net.net)
+        if self.get_width() != net.get_width():
+            raise ValueError("Width mismatch")
+        if self.get_instance().is_top():
+            for bterm, bnet in zip(self.term.getBits(), net.net.getBits()):
+                bterm.setNet(bnet)
+        else:
+            self.__make_unique()
+            inst = self.path.getTailInstance()
+            for bterm, bnet in zip(self.term.getBits(), net.net.getBits()):
+                iterm = inst.getInstTerm(bterm)
+                iterm.setNet(bnet)
 
 
 def get_instance_by_path(names: list):
+    assert len(names) > 0
     path = snl.SNLPath()
     instance = None
     top = snl.SNLUniverse.get().getTopDesign()
@@ -159,111 +313,318 @@ def get_instance_by_path(names: list):
     for name in names:
         path = snl.SNLPath(path, design.getInstance(name))
         instance = design.getInstance(name)
+        assert instance is not None
         design = instance.getModel()
-    return Instance(path, instance)
+    return Instance(path)
+
+
+def refresh_path(path: snl.SNLPath):
+    pathlist = []
+    pathTemp = path
+    while pathTemp.size() > 0:
+        pathlist.append(pathTemp.getHeadInstance().getName())
+        pathTemp = pathTemp.getTailPath()
+    assert len(pathlist) > 0
+    path = snl.SNLPath()
+    instance = None
+    top = snl.SNLUniverse.get().getTopDesign()
+    design = top
+    for name in pathlist:
+        path = snl.SNLPath(path, design.getInstance(name))
+        instance = design.getInstance(name)
+        assert instance is not None
+        design = instance.getModel()
+    return path
 
 
 class Instance:
-    """Class that represents the instance and wraps some of the snl occurrence API."""
+    """Class that represents the instance and wraps some
+    of the snl occurrence API.
+    """
 
-    def __init__(self, path, inst):
-        self.inst = inst
+    def __init__(self, path=snl.SNLPath()):
         self.path = path
 
     def __eq__(self, other) -> bool:
-        return self.inst == other.inst and self.path == other.path
+        return self.path == other.path
+
+    def __str__(self) -> str:
+        return str(self.path)
+
+    def __repr__(self) -> str:
+        return f"Instance({self.path})"
+
+    def __hash__(self):
+        return hash(self.path)
+
+    def is_top(self) -> bool:
+        """Return True if this is the top design."""
+        return self.path.size() == 0
+
+    def is_assign(self) -> bool:
+        return self.__get_snl_model().isAssign()
+
+    def is_blackbox(self) -> bool:
+        """Return True if this is a blackbox."""
+        return self.__get_snl_model().isBlackBox()
+
+    def is_const0(self) -> bool:
+        """Return True if this is a constant 0 generator."""
+        return self.__get_snl_model().isConst0()
+
+    def is_const1(self) -> bool:
+        """Return True if this is a constant 1 generator."""
+        return self.__get_snl_model().isConst1()
+
+    def is_const(self) -> bool:
+        """Return True if this is a constant generator."""
+        return self.__get_snl_model().isConst()
+
+    def is_buf(self) -> bool:
+        """Return True if this is a buffer."""
+        return self.__get_snl_model().isBuf()
+
+    def is_inv(self) -> bool:
+        """Return True if this is an inverter."""
+        return self.__get_snl_model().isInv()
+
+    def __get_snl_model(self):
+        """Return the model of the instance."""
+        if self.is_top():
+            return snl.SNLUniverse.get().getTopDesign()
+        return self.path.getTailInstance().getModel()
+
+    def __find_snl_model(self, name: str) -> snl.SNLDesign:
+        u = snl.SNLUniverse.get()
+        if u is None:
+            return None
+        for db in u.getUserDBs():
+            for lib in db.getLibraries():
+                found_model = lib.getDesign(name)
+                if found_model is not None:
+                    return found_model
+        return None
 
     def get_child_instance(self, name: str):
-        return Instance(snl.SNLPath(self.path, self.inst.getModel().getInstance(name)),
-                        self.inst.getModel().getInstance(name))
+        childInst = self.__get_snl_model().getInstance(name)
+        if childInst is None:
+            return None
+        return Instance(snl.SNLPath(self.path, childInst))
 
     def get_child_instances(self):
-        for inst in self.inst.getModel().getInstances():
+        for inst in self.__get_snl_model().getInstances():
             path = snl.SNLPath(self.path, inst)
-            yield Instance(path, inst)
+            yield Instance(path)
 
     def get_number_of_child_instances(self) -> int:
-        return len(tuple(self.inst.getModel().getInstances()))
+        return sum(1 for _ in self.__get_snl_model().getInstances())
 
-    def get_inst_terms(self):
-        if self.inst is None:
-            return
-        for term in self.inst.getInstTerms():
-            yield InstTerm(self.path.getHeadPath(), term)
+    def get_terms(self):
+        for term in self.__get_snl_model().getTerms():
+            yield Term(self.path, term)
 
-    def get_inst_term(self, name: str) -> InstTerm:
-        if self.inst is None:
-            return None
-        for term in self.inst.getInstTerms():
-            if term.getBitTerm().getName() == name:
-                return InstTerm(self.path.getHeadPath(), term)
+    def get_term(self, name: str) -> Term:
+        term = self.__get_snl_model().getTerm(name)
+        if term is not None:
+            return Term(self.path, self.__get_snl_model().getTerm(name))
+        return None
+
+    def get_nets(self):
+        for net in self.__get_snl_model().getNets():
+            yield Net(self.path, net)
+
+    def get_flat_nets(self):
+        for net in self.__get_snl_model().getNets():
+            if isinstance(net, snl.SNLBusNet):
+                for bit in net.getBits():
+                    yield Net(self.path, bit)
+            else:
+                yield Net(self.path, net)
+
+    def get_net(self, name: str) -> Net:
+        net = self.__get_snl_model().getNet(name)
+        if net is not None:
+            return Net(self.path, net)
         return None
 
     def is_primitive(self) -> bool:
-        return self.inst.getModel().isPrimitive()
+        return self.__get_snl_model().isPrimitive()
+
+    def get_input_terms(self):
+        for term in self.__get_snl_model().getTerms():
+            if term.getDirection() == snl.SNLTerm.Direction.Input:
+                yield Term(self.path, term)
+
+    def get_flat_input_terms(self):
+        for term in self.__get_snl_model().getTerms():
+            if term.getDirection() == snl.SNLTerm.Direction.Input:
+                if isinstance(term, snl.SNLBusTerm):
+                    for bit in term.getBits():
+                        yield Term(self.path, bit)
+                else:
+                    yield Term(self.path, term)
+
+    def get_output_terms(self):
+        for term in self.__get_snl_model().getTerms():
+            if term.getDirection() == snl.SNLTerm.Direction.Output:
+                yield Term(self.path, term)
 
-    def get_output_inst_terms(self):
-        for term in self.inst.getInstTerms():
+    def get_flat_output_terms(self):
+        for term in self.__get_snl_model().getTerms():
             if term.getDirection() == snl.SNLTerm.Direction.Output:
-                yield InstTerm(self.path.getHeadPath(), term)
+                if isinstance(term, snl.SNLBusTerm):
+                    for bit in term.getBits():
+                        yield Term(self.path, bit)
+                else:
+                    yield Term(self.path, term)
 
     def delete_instance(self, name: str):
-        path = snl.SNLPath(self.path, self.inst.getModel().getInstance(name))
-        uniq = snl.SNLUniquifier(path)
-        uniq_path = uniq.getPathUniqCollection()
+        path = snl.SNLPath(self.path, self.__get_snl_model().getInstance(name))
+        snl.SNLUniquifier(path)
+        if self.path.size() > 0:
+            self.path = refresh_path(self.path)
         # Delete the last instance in uniq_path
-        tuple(uniq_path)[len(tuple(uniq_path)) - 1].destroy()
+        self.__get_snl_model().getInstance(name).destroy()
 
     def get_name(self) -> str:
-        return self.inst.getName()
-    
-    def create_child_instance(self, model, name):
-        uniq = snl.SNLUniquifier(self.path)
-        design = self.inst.getModel()
-        newSNLInstance = snl.SNLInstance.create(design, model, name)
+        """Return the name of the instance or name of the top is this is the top."""
+        if self.is_top():
+            return self.get_model_name()
+        else:
+            return self.path.getTailInstance().getName()
+
+    def get_model_name(self) -> str:
+        """Return the name of the model of the instance or name of the top is this is the top."""
+        return self.__get_snl_model().getName()
+
+    def get_model_id(self) -> tuple[int, int, int]:
+        model = self.__get_snl_model()
+        return model.getDB().getID(), model.getLibrary().getID(), model.getID()
+
+    def create_child_instance(self, model: str, name: str):
+        if self.path.size() > 0:
+            path = self.path
+            snl.SNLUniquifier(path)
+            self.path = refresh_path(self.path)
+        design = self.__get_snl_model()
+        new_instance_model = self.__find_snl_model(model)
+        if new_instance_model is None:
+            raise ValueError(
+                f"Cannot create instance {name} in {self}: model {model} cannot be found"
+            )
+        newSNLInstance = snl.SNLInstance.create(design, new_instance_model, name)
         path = snl.SNLPath(self.path, newSNLInstance)
-        return Instance(snl.SNLPath(self.path, newSNLInstance), newSNLInstance)
+        return Instance(path)
+
+    def create_term(self, name: str, direction: snl.SNLTerm.Direction) -> Term:
+        if self.path.size() > 0:
+            path = self.path
+            snl.SNLUniquifier(path)
+            self.path = refresh_path(self.path)
+        design = self.__get_snl_model()
+        newSNLTerm = snl.SNLScalarTerm.create(design, direction, name)
+        return Term(self.path, newSNLTerm)
+
+    def create_output_term(self, name: str) -> Term:
+        return self.create_term(name, snl.SNLTerm.Direction.Output)
+
+    def create_input_term(self, name: str) -> Term:
+        return self.create_term(name, snl.SNLTerm.Direction.Input)
+
+    def create_bus_term(
+        self, name: str, msb: int, lsb: int, direction: snl.SNLTerm.Direction
+    ) -> Term:
+        if self.path.size() > 0:
+            path = self.path
+            snl.SNLUniquifier(path)
+            self.path = refresh_path(self.path)
+        design = self.__get_snl_model()
+        newSNLTerm = snl.SNLBusTerm.create(design, direction, msb, lsb, name)
+        return Term(self.path, newSNLTerm)
+
+    def create_output_bus_term(self, name: str, msb: int, lsb: int) -> Term:
+        return self.create_bus_term(name, msb, lsb, snl.SNLTerm.Direction.Output)
+
+    def create_input_bus_term(self, name: str, msb: int, lsb: int) -> Term:
+        return self.create_bus_term(name, msb, lsb, snl.SNLTerm.Direction.Input)
+
+    def create_net(self, name: str) -> Net:
+        if self.path.size() > 0:
+            path = self.path
+            snl.SNLUniquifier(path)
+            self.path = refresh_path(self.path)
+        model = self.__get_snl_model()
+        newSNLNet = snl.SNLScalarNet.create(model, name)
+        return Net(self.path, newSNLNet)
+
+    def create_bus_net(self, name: str, msb: int, lsb: int) -> Net:
+        if self.path.size() > 0:
+            path = self.path
+            snl.SNLUniquifier(path)
+            self.path = refresh_path(self.path)
+        model = self.__get_snl_model()
+        newSNLNet = snl.SNLBusNet.create(model, msb, lsb, name)
+        return Net(self.path, newSNLNet)
+
+    def dump_verilog(self, path: str, name: str):
+        self.__get_snl_model().dumpVerilog(path, name)
+
+
+def get_top_db() -> snl.SNLDB:
+    if snl.SNLUniverse.get() is None:
+        snl.SNLUniverse.create()
+    if snl.SNLUniverse.get().getTopDB() is None:
+        db = snl.SNLDB.create(snl.SNLUniverse.get())
+        snl.SNLUniverse.get().setTopDB(db)
+    return snl.SNLUniverse.get().getTopDB()
 
 
-class Loader:
-    def __init__(self):
-        self.db_ = None
-        self.primitives_library_ = None
+def get_top():
+    return Instance(snl.SNLPath())
+
+
+def create_top(name: str) -> Instance:
+    # init
+    db = get_top_db()
+    # create top design
+    lib = snl.SNLLibrary.create(db)
+    top = snl.SNLDesign.create(lib, name)
+    snl.SNLUniverse.get().setTopDesign(top)
+    return Instance()
+
+
+def load_verilog(files: list):
+    get_top_db().loadVerilog(files)
+    return get_top()
+
+
+def load_liberty(files: list):
+    get_top_db().loadLibertyPrimitives(files)
+
+
+def get_primitives_library() -> snl.SNLLibrary:
+    lib = get_top_db().getLibrary("PRIMS")
+    if lib is None:
+        lib = snl.SNLLibrary.createPrimitives(get_top_db())
+    return lib
 
-    def init(self):
-        snl.SNLUniverse.create()
-        self.db_ = snl.SNLDB.create(snl.SNLUniverse.get())
-
-    def get_db(self) -> snl.SNLDB:
-        return self.db_
-
-    def get_primitives_library(self) -> snl.SNLLibrary:
-        if self.primitives_library_ is None:
-            self.primitives_library_ = snl.SNLLibrary.createPrimitives(self.db_)
-        return self.primitives_library_
-
-    def load_verilog(self, files: list):
-        self.db_.loadVerilog(files)
-
-    def verify(self):
-        universe = snl.SNLUniverse.get()
-        if universe is None:
-            logging.critical('No loaded SNLUniverse')
-            return 1
-        top = universe.getTopDesign()
-        if top is None:
-            logging.critical('SNLUniverse does not contain any top SNLDesign')
-            return 1
-        else:
-            logging.info('Found top design ' + str(top))
 
-    def load_liberty_primitives(self, files):
-        self.db_.loadLibertyPrimitives(files)
+def get_model_name(id: tuple[int, int, int]) -> str:
+    """Return the name of the model given its id."""
+    u = snl.SNLUniverse.get()
+    if u:
+        db = u.getDB(id[0])
+        if db:
+            lib = db.getLibrary(id[1])
+            if lib:
+                model = lib.getDesign(id[2])
+                if model:
+                    return model.getName()
+    return None
 
 
-def get_all_primitive_instances() -> list:
+def get_all_primitive_instances():
     top = snl.SNLUniverse.get().getTopDesign()
-    primitives = []
 
     for inst in top.getInstances():
         path = snl.SNLPath(inst)
@@ -275,6 +636,5 @@ def get_all_primitive_instances() -> list:
             for inst_child in current_inst.getModel().getInstances():
                 path_child = snl.SNLPath(current_path, inst_child)
                 if inst_child.getModel().isPrimitive():
-                    primitives.append(Instance(path_child, inst_child))
+                    yield Instance(path_child)
                 stack.append([inst_child, path_child])
-    return primitives

najaeda-0.1.2.dist-info/METADATA

@@ -0,0 +1,68 @@
+Metadata-Version: 2.1
+Name: najaeda
+Version: 0.1.2
+Summary: Naja EDA Python package
+Author-Email: Naja Authors <contact@keplertech.io>
+License: Apache License 2.0
+Project-URL: Homepage, https://github.com/najaeda/naja
+Requires-Python: >=3.8
+Description-Content-Type: text/x-rst
+
+Naja EDA Python Package
+=======================
+
+Naja EDA is a Python package that provides data structures and APIs for developing post-synthesis Electronic Design Automation (EDA) algorithms. It serves as the Python counterpart to the `Naja C++ project <https://github.com/najaeda/naja>`_.
+
+Features
+--------
+
+- **Netlist Simplification**: Perform constant propagation and dead logic elimination.
+- **Logic Replication**: Facilitate duplication of logic elements for optimization.
+- **Netlist Partitioning**: Divide netlists into manageable sections.
+- **Place and Route Support**: Assist in ASIC and FPGA design flows.
+
+Installation
+------------
+
+Install Naja EDA using pip:
+
+.. code-block:: bash
+
+    pip install najaeda
+
+Examples
+--------
+Following snippet shows how to load primitive cells from a liberty file and
+a netlist from a Verilog file.
+.. code-block:: python
+
+    from os import path
+    from najaeda import netlist
+    
+    benchmarks = path.join('..','benchmarks')
+    liberty_files = ['NangateOpenCellLibrary_typical.lib', 'fakeram45_1024x32.lib', 'fakeram45_64x32.lib']
+    liberty_files = list(map(lambda p:path.join(benchmarks, 'liberty', p), liberty_files))
+        
+    netlist.load_liberty(liberty_files)
+    top = netlist.load_verilog([path.join(benchmarks, 'verilog', 'tinyrocket.v')])
+    
+    #dump verilog
+    top.dump_verilog('tinyrocket_naja.v')
+
+Next example shows how to browse all the netlist and print all its content.
+.. code-block:: python
+
+    def print_netlist(instance):
+        for child_instance in instance.get_child_instances():
+            print(f"{child_instance}:{child_instance.get_model_name()}")
+            print_netlist(child_instance)
+
+Documentation
+-------------
+
+Comprehensive documentation is available on the `Naja GitHub repository <https://github.com/najaeda/naja>`_.
+
+License
+-------
+
+This project is licensed under the Apache License 2.0. See the `LICENSE <https://github.com/najaeda/naja/blob/main/LICENSE>`_ file for details.

najaeda-0.1.2.dist-info/RECORD

@@ -0,0 +1,11 @@
+najaeda-0.1.2.dist-info/RECORD,,
+najaeda-0.1.2.dist-info/WHEEL,sha256=vqMBchNIsmW0K9HInUQuY_xePW9YD3coNJy6G1Yfto8,114
+najaeda-0.1.2.dist-info/METADATA,sha256=agjVbL5DID69VNnjngj23q1t-TEOHBaCUhMnhIGEjZI,2267
+najaeda-0.1.2.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+najaeda-0.1.2.dist-info/licenses/AUTHORS,sha256=e4DCPGHo6wKMyQz24V59EP7zMwalK-KBDBHHlMLFxHY,330
+najaeda/netlist.py,sha256=usJ__3Vh_A8GFK7xUdhwJSdsTc7DWhaIF3Ptp3dfuZU,21251
+najaeda/libnaja_snl_python.dylib,sha256=OZ222EZCWFrvmsDs6asQWMl0QP8Wqhny8kOFBjznGH4,739872
+najaeda/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+najaeda/libnaja_snl.dylib,sha256=8Ei7KKU0b14IqlvH_8yQSSCpH0rjbxpeRaXgyfSemMY,574112
+najaeda/snl.so,sha256=qBdtIcQsyMywHa-xUMdCJaTwG6yl189Bm6Zr96ZR6pU,97888
+najaeda/.dylibs/Python,sha256=Gju99qyqKDZ_AHI35mL42rySLjq0Ww_yvHDxtQSu7Kw,14303584

najaeda-0.1.0.dist-info/METADATA

@@ -1,11 +0,0 @@
-Metadata-Version: 2.1
-Name: najaeda
-Version: 0.1.0
-Summary: Naja EDA Python package
-Author-Email: Naja Authors <contact@keplertech.io>
-License: Apache License 2.0
-Project-URL: Homepage, https://github.com/najaeda/naja
-Requires-Python: >=3.8
-Description-Content-Type: text/x-rst
-
-Welcome to Naja Python package

najaeda-0.1.0.dist-info/RECORD

@@ -1,11 +0,0 @@
-najaeda-0.1.0.dist-info/RECORD,,
-najaeda-0.1.0.dist-info/WHEEL,sha256=vqMBchNIsmW0K9HInUQuY_xePW9YD3coNJy6G1Yfto8,114
-najaeda-0.1.0.dist-info/METADATA,sha256=SIsMgouolOzryWWoChYTHcGT2-ul8f9u9mLYyIOf-VA,309
-najaeda-0.1.0.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-najaeda-0.1.0.dist-info/licenses/AUTHORS,sha256=e4DCPGHo6wKMyQz24V59EP7zMwalK-KBDBHHlMLFxHY,330
-najaeda/netlist.py,sha256=XyNigH-I1cKjTVcMn-eo45BgYjI7NFDhYEYlnEiOwQ8,8741
-najaeda/libnaja_snl_python.dylib,sha256=Mbxrw8_DiVzbMF3zXfIY18KdeYoeCKyR-pmDYZtVprA,705744
-najaeda/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-najaeda/libnaja_snl.dylib,sha256=P60Bn-hOArZrLqcdQUL0J6NzPHUV4V8Jf0StrJpTXgg,573808
-najaeda/snl.so,sha256=K2PMfUZKoKaFA5K438t0FrM-60K7IlTYXkSQgZFaaSY,97616
-najaeda/.dylibs/Python,sha256=Gju99qyqKDZ_AHI35mL42rySLjq0Ww_yvHDxtQSu7Kw,14303584