najaeda 0.2.2__cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl → 0.2.3__cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

najaeda/__init__.py

@@ -0,0 +1,8 @@
+# SPDX-FileCopyrightText: 2025 The Naja authors
+# <https://github.com/najaeda/naja/blob/main/AUTHORS>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+from ._version import version, git_hash
+
+__all__ = ["version", "git_hash"]

najaeda/_version.py

@@ -0,0 +1,16 @@
+# SPDX-FileCopyrightText: 2025 The Naja authors
+# <https://github.com/najaeda/naja/blob/main/AUTHORS>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+from najaeda import naja
+
+
+def version():
+    """Get the version of Naja."""
+    return naja.getVersion()
+
+
+def git_hash():
+    """Get the git hash of Naja."""
+    return naja.getGitHash()

najaeda/docs/source/instance.rst

@@ -10,6 +10,21 @@ of an instance in its hierarchical context.
 When an **Instance** is modified through editing methods,
 **najaeda** will automatically manage the necessary uniquification.
 
+Generic Gates (and, or, etc.)
+-----------------------------
+
+**najaeda** supports **generic gates** as defined in Verilog, specifically:
+
+- **n-input gates**: `and`, `nand`, `or`, `nor`, `xor`, `xnor`
+- **n-output gates**: `buf`, `not`
+
+In this model:
+
+- **n-input gates** have a **single scalar output** and a **bus input terminal** (of size *n*).
+- **n-output gates** have a **scalar input** and a **bus output terminal** (of size *n*).
+
+All terminals in these generic instances are **unnamed**,
+
 Instance Attributes
 -------------------
 

najaeda/netlist.py

@@ -207,14 +207,15 @@ class Net:
         return not eq_result
 
     def __str__(self):
-        if hasattr(self, "net"):
-            net_str = str(self.net)
-        elif hasattr(self, "net_concat"):
+        if self.is_concat():
             net_str = "{" + ",".join(map(str, self.net_concat)) + "}"
+            return net_str
+        net_str = str(self.net)
         path = get_snl_path_from_id_list(self.pathIDs)
         if path.size() > 0:
             return f"{path}/{net_str}"
-        return net_str
+        else:
+            return net_str
 
     def get_name(self) -> str:
         """
@@ -225,6 +226,23 @@ class Net:
             return self.net.getName()
         return "{" + ",".join(map(str, self.net_concat)) + "}"
 
+    def set_name(self, name: str):
+        """
+        :param str name: the name to set for this Net.
+        """
+        if self.is_concat():
+            raise ValueError(
+                f"set_name of {self}: cannot set name for a concatenated net. "
+                "Use the individual nets instead."
+            )
+        elif self.is_bus_bit():
+            raise ValueError(
+                f"set_name of {self}: cannot set name for a bus bit. "
+                "Use the bus net instead."
+            )
+        else:
+            self.net.setName(name)
+
     def get_msb(self) -> int:
         """
         :return: the most significant bit of the net if it is a bus.
@@ -577,6 +595,13 @@ class Term:
         """
         return get_snl_term_for_ids(self.pathIDs, self.termIDs).getName()
 
+    def is_unnamed(self) -> bool:
+        """
+        :return: True if the term is unnamed.
+        :rtype: bool
+        """
+        return get_snl_term_for_ids(self.pathIDs, self.termIDs).isUnnamed()
+
     def get_direction(self) -> Direction:
         """
         :return: the direction of the term.
@@ -753,6 +778,25 @@ class Term:
                 iterm = inst.getInstTerm(bterm)
                 iterm.setNet(bnet)
 
+    def get_truth_table(self):
+        # check the index of the output
+        if not self.is_output():
+            raise ValueError("Truth table can only be computed for output terms")
+        # get the instance
+        if self.is_bus():
+            raise ValueError("Truth table cannot be computed for bus terms")
+        inst = self.get_instance()
+        # get the model
+        model = inst._Instance__get_snl_model()
+        for term in model.getTerms():
+            if term.getDirection() == naja.SNLTerm.Direction.Output:
+                if term.getName() == self.get_name():
+                    # get the truth table
+                    tt = model.getTruthTableByOutputID(term.getID())
+                    if tt is not None:
+                        return model.getTruthTableByOutputID(term.getID())
+        return None
+
 
 def get_instance_by_path(names: list):
     assert len(names) > 0
@@ -813,8 +857,7 @@ class Attribute:
 
 
 class Instance:
-    """Class that represents the instance and wraps some
-    of the snl occurrence API.
+    """Class that represents an instance in the design hierarchy.
     """
 
     def __init__(self, path=naja.SNLPath()):
@@ -1288,12 +1331,28 @@ class Instance:
         :return: the name of the instance or name of the top is this is the top.
         :rtype: str
         """
-        path = get_snl_path_from_id_list(self.pathIDs)
         if self.is_top():
             return self.get_model_name()
         else:
+            path = get_snl_path_from_id_list(self.pathIDs)
             return path.getTailInstance().getName()
 
+    def set_name(self, name: str):
+        """Set the name of this instance.
+
+        :param str name: the new name of the instance.
+        """
+        if self.is_top():
+            topSNLDesign = naja.NLUniverse.get().getTopDesign()
+            topSNLDesign.setName(name)
+        else:
+            path = get_snl_path_from_id_list(self.pathIDs)
+            if path.size() > 0:
+                naja.SNLUniquifier(path)
+                path = get_snl_path_from_id_list(self.pathIDs)
+            inst = path.getTailInstance()
+            inst.setName(name)
+
     def get_model_name(self) -> str:
         """
         :return: the name of the model of the instance

{najaeda-0.2.2.dist-info → najaeda-0.2.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: najaeda
-Version: 0.2.2
+Version: 0.2.3
 Summary: Naja EDA Python package
 Author-Email: Naja Authors <contact@keplertech.io>
 License: Apache License 2.0

{najaeda-0.2.2.dist-info → najaeda-0.2.3.dist-info}/RECORD

@@ -1,19 +1,15 @@
-najaeda-0.2.2.dist-info/WHEEL,sha256=qWe43I_ziyqlu2SouxbZAN4VQzvapKrxWUcRsva4KM8,158
-najaeda-0.2.2.dist-info/METADATA,sha256=sDeDlCC-dBef_IHUdq2tfSqbCwhYqwdLu97HLgozptY,3435
-najaeda-0.2.2.dist-info/RECORD,,
-najaeda-0.2.2.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-najaeda-0.2.2.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
-najaeda/libnaja_python.so,sha256=YJD05Yz3Wy8r51nxPElrIXYXSSmlwp3syHG7wSjcPlc,1886217
-najaeda/libnaja_nl.so,sha256=DSyBNyIPDt8oz9kRO0EqiPYTNvNSiVe8AaZd3LoCUqs,1646864
-najaeda/naja.so,sha256=TcbRubiyBA1KFnqd7hC_Lp6F_yfJXktFkJ6VOwBuR04,206521
+najaeda/libnaja_python.so,sha256=wpgnHiXaMuWTvullT3EgX9WY17By3Tv1p4q1ESOap5g,1953737
+najaeda/_version.py,sha256=c-4hT20dyE-3BcdzOqR0vd92E7ydR5u2c-VmCc6oU8A,332
+najaeda/libnaja_nl.so,sha256=2N9413-s5cYoPR3W_AgBIbavOb9ES7dFQcDJYCYoc1s,1646872
+najaeda/naja.so,sha256=oGJemBfrJ92hAPycm2xtuAu0GILyOJWz7jslxhhe4qY,206521
 najaeda/pandas_stats.py,sha256=yOb4ka965U7rN4D6AwvSGmRyeT_O7Ed-5cmT8BFbfeo,1070
 najaeda/stats.py,sha256=SJ9rca0Z6ldNAFOjU7DPO2hfx1zq-9Bec0Rx_oLasJo,16217
 najaeda/libnaja_bne.so,sha256=ejZf2Zl2AXQagN41HIj8x-3oeoyEffcPTPR0YeY40ng,272577
-najaeda/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+najaeda/__init__.py,sha256=6QrOzlqTfd558FH9Zm6ve54IzkHaDJ8ZO8hTCaEwsL8,218
 najaeda/libnaja_opt.so,sha256=t71JSk0NSGXY48FRSOL-j_O98iwLF1s-ppe8z8h2lZg,348713
-najaeda/netlist.py,sha256=hU9g4tO40GGhS5b9uEfAqn7m6dXgcl9-yEBIKT1dmuU,56385
+najaeda/netlist.py,sha256=B2NwDDriuqf3Jy-J0w4bDJ4dwXIovSzwrWOEHLXjw6s,58509
 najaeda/net_visitor.py,sha256=P_esjibYb-wBDuF-AyF7es9sJYw1Ha8RhTPu-qKe7G4,1940
-najaeda/libnaja_dnl.so,sha256=mltTODKF01Hmf9aG5SdJCjkNggNuwNZuuMvcz3BVars,276041
+najaeda/libnaja_dnl.so,sha256=QxHFSN33IIipFUl-Nx0qyG1XPynYOq4GbF7YbwGkbBM,276545
 najaeda/instance_visitor.py,sha256=JMsPSQaWNiDjxS05rxg83a0PIsrOIuTi9G35hkwdibs,1530
 najaeda/native/stats.py,sha256=t50hhE9pEFNtlssjES0A-K9TsO_2ZSUAb-e9L3Rt6yc,13063
 najaeda/native/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -33,8 +29,13 @@ najaeda/docs/source/index.rst,sha256=80VMfeEGHObnOUXRBxIzISQsG_HNkgT-pUpsDZsCfOY
 najaeda/docs/source/visitors.rst,sha256=KScCr7BytrhFxWfZPyYWIrr3CEJuk5Tx-LjEuDnnBaA,227
 najaeda/docs/source/api.rst,sha256=47VCPyF4Py_1cklZ3q9fmOMhqqI17rxwU_VUJETfCwY,151
 najaeda/docs/source/term.rst,sha256=QKWT6u1xjEjusvcZYknKQ-M83ibohO5y1EYTQnnXqak,690
-najaeda/docs/source/instance.rst,sha256=7B2IBB0p32Tb4qvOCE77OlrQaYpFADvmTlq1q8eyVqw,458
+najaeda/docs/source/instance.rst,sha256=4JDl4_YaTbYxJrgSCe-3vV-EkKGGKOIejXMLfbJR1jk,957
 najaeda/docs/source/conf.py,sha256=XqCFo29gZCbaoPe1xEan9ZonYyQW5NZnWHGEWrB7p8Q,2021
+najaeda-0.2.3.dist-info/WHEEL,sha256=qWe43I_ziyqlu2SouxbZAN4VQzvapKrxWUcRsva4KM8,158
+najaeda-0.2.3.dist-info/METADATA,sha256=Jx4ae_OoGfbOlrSqer4UwGLTOz5-CYwWQMeeKz3_mhM,3435
+najaeda-0.2.3.dist-info/RECORD,,
+najaeda-0.2.3.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+najaeda-0.2.3.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
 najaeda.libs/libtbbmalloc-8bd2c113.so.2.15,sha256=t7EmHeYI7vtRrpUMImjQuzDv3a1gs8-lcUxotcVs3mA,198281
 najaeda.libs/libcapnp-1-d562dcbf.1.0.so,sha256=oATbFuRyIBdV6dWAaarYlY3DDt3Wvyp1nC5FvgRIyzw,1152985
 najaeda.libs/libtbb-58378cc2.so.12.15,sha256=yxzhDOGKoZHEHYUULdSu-uH9-Hr1Wh8JygBizKBxc_U,404105