najaeda 0.1.22__cp310-cp310-macosx_11_0_arm64.whl → 0.1.24__cp310-cp310-macosx_11_0_arm64.whl

najaeda/netlist.py

@@ -353,8 +353,20 @@ class Net:
             yield Term(path, term.getBitTerm())
             path.pop()
 
-    def get_design_terms(self):
+    def count_inst_terms(self) -> int:
+        """
+        Count the instance terminals of this net.
+
+        :return: the number of instance terminals of this net.
+        :rtype: int
         """
+        return sum(1 for _ in self.get_inst_terms())
+
+    def get_design_terms(self):
+        """Return an iterator over the design terminals of the net.
+        This includes only the terminals that are part of the current design.
+        The iterator will yield Term objects bit per bit.
+
         :return: an iterator over the design terminals of the net.
         :rtype: Iterator[Term]
         """
@@ -363,8 +375,18 @@ class Net:
         for term in self.net.getBitTerms():
             yield Term(self.pathIDs, term)
 
-    def get_terms(self):
+    def count_design_terms(self) -> int:
+        """Count the design terminals of this net.
+
+        :return: the number of design terminals of this net.
+        :rtype: int
         """
+        return sum(1 for _ in self.get_design_terms())
+
+    def get_terms(self):
+        """Return an iterator over the terminals of the net.
+        This includes both design and instance terminals.
+
         :return: an iterator over the terminals of the net.
         :rtype: Iterator[Term]
         """
@@ -1470,6 +1492,7 @@ class VerilogConfig:
 
 def load_verilog(files: Union[str, List[str]], config: VerilogConfig = None) -> Instance:
     """Load verilog files into the top design.
+
     :param files: a list of verilog files to load or a single file.
     :param config: the configuration to use when loading the files.
     :return: the top Instance.
@@ -1490,6 +1513,7 @@ def load_verilog(files: Union[str, List[str]], config: VerilogConfig = None) ->
 
 def load_liberty(files: Union[str, List[str]]):
     """Load liberty files.
+
     :param files: a list of liberty files to load or a single file.
     """
     if isinstance(files, str):
@@ -1506,11 +1530,14 @@ def load_primitives(name: str):
     Currently supported libraries are:
 
     - xilinx
+    - yosys
     """
     if name == "xilinx":
         from najaeda.primitives import xilinx
-
         xilinx.load(__get_top_db())
+    elif name == "yosys":
+        from najaeda.primitives import yosys
+        yosys.load(__get_top_db())
     else:
         raise ValueError(f"Unknown primitives library: {name}")
 

najaeda/primitives/yosys.py

@@ -0,0 +1,189 @@
+# SPDX-FileCopyrightText: 2024 The Naja authors <https://github.com/najaeda/naja/blob/main/AUTHORS>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import logging
+from najaeda import naja
+
+
+def constructAND(lib):
+    and2 = naja.SNLDesign.createPrimitive(lib, "$_AND_")
+    naja.SNLScalarTerm.create(and2, naja.SNLTerm.Direction.Input, "A")
+    naja.SNLScalarTerm.create(and2, naja.SNLTerm.Direction.Input, "B")
+    naja.SNLScalarTerm.create(and2, naja.SNLTerm.Direction.Output, "Y")
+    and2.setTruthTable(0x8)
+
+
+def constructOR(lib):
+    or2 = naja.SNLDesign.createPrimitive(lib, "$_OR_")
+    naja.SNLScalarTerm.create(or2, naja.SNLTerm.Direction.Input, "A")
+    naja.SNLScalarTerm.create(or2, naja.SNLTerm.Direction.Input, "B")
+    naja.SNLScalarTerm.create(or2, naja.SNLTerm.Direction.Output, "Y")
+    or2.setTruthTable(0xE)
+
+
+def constructXOR(lib):
+    xor2 = naja.SNLDesign.createPrimitive(lib, "$_XOR_")
+    naja.SNLScalarTerm.create(xor2, naja.SNLTerm.Direction.Input, "A")
+    naja.SNLScalarTerm.create(xor2, naja.SNLTerm.Direction.Input, "B")
+    naja.SNLScalarTerm.create(xor2, naja.SNLTerm.Direction.Output, "Y")
+    xor2.setTruthTable(0x6)
+
+
+def constructMUX(lib):
+    mux2 = naja.SNLDesign.createPrimitive(lib, "$_MUX_")
+    naja.SNLScalarTerm.create(mux2, naja.SNLTerm.Direction.Input, "A")
+    naja.SNLScalarTerm.create(mux2, naja.SNLTerm.Direction.Input, "B")
+    naja.SNLScalarTerm.create(mux2, naja.SNLTerm.Direction.Input, "S")
+    naja.SNLScalarTerm.create(mux2, naja.SNLTerm.Direction.Output, "Y")
+    mux2.setTruthTable(0xCA)
+
+
+def constructNOT(lib):
+    not_gate = naja.SNLDesign.createPrimitive(lib, "$_NOT_")
+    naja.SNLScalarTerm.create(not_gate, naja.SNLTerm.Direction.Input, "A")
+    naja.SNLScalarTerm.create(not_gate, naja.SNLTerm.Direction.Output, "Y")
+    not_gate.setTruthTable(0b01)
+
+
+def constructDFFP(lib):
+    dffp = naja.SNLDesign.createPrimitive(lib, "$_DFF_P_")
+    naja.SNLScalarTerm.create(dffp, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffp, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffp, naja.SNLTerm.Direction.Output, "Q")
+
+
+def constructDFFE_PP(lib):
+    dffe_pp = naja.SNLDesign.createPrimitive(lib, "$_DFFE_PP_")
+    naja.SNLScalarTerm.create(dffe_pp, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(dffe_pp, naja.SNLTerm.Direction.Output, "Q")
+
+
+def constructDFFE_PN(lib):
+    dffe_pn = naja.SNLDesign.createPrimitive(lib, "$_DFFE_PN_")
+    naja.SNLScalarTerm.create(dffe_pn, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pn, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pn, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(dffe_pn, naja.SNLTerm.Direction.Output, "Q")
+
+
+def constructDFF_PP0(lib):
+    dffe_pp0 = naja.SNLDesign.createPrimitive(lib, "$_DFF_PP0_")
+    naja.SNLScalarTerm.create(dffe_pp0, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp0, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp0, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(dffe_pp0, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructDFF_PP1(lib):
+    dffe_pp1 = naja.SNLDesign.createPrimitive(lib, "$_DFF_PP1_")
+    naja.SNLScalarTerm.create(dffe_pp1, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp1, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp1, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(dffe_pp1, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructDFFE_PP0P(lib):
+    dffe_pp0p = naja.SNLDesign.createPrimitive(lib, "$_DFFE_PP0P_")
+    naja.SNLScalarTerm.create(dffe_pp0p, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp0p, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp0p, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(dffe_pp0p, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(dffe_pp0p, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructDFFE_PP1P(lib):
+    dffe_pp1p = naja.SNLDesign.createPrimitive(lib, "$_DFFE_PP1P_")
+    naja.SNLScalarTerm.create(dffe_pp1p, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp1p, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp1p, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(dffe_pp1p, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(dffe_pp1p, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructDFFE_PP0N(lib):
+    dffe_pp0n = naja.SNLDesign.createPrimitive(lib, "$_DFFE_PP0N_")
+    naja.SNLScalarTerm.create(dffe_pp0n, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(dffe_pp0n, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(dffe_pp0n, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(dffe_pp0n, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(dffe_pp0n, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFF_PP0(lib):
+    sdff_pp0 = naja.SNLDesign.createPrimitive(lib, "$_SDFF_PP0_")
+    naja.SNLScalarTerm.create(sdff_pp0, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdff_pp0, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdff_pp0, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdff_pp0, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFFE_PP0N(lib):
+    sdffe_pp0n = naja.SNLDesign.createPrimitive(lib, "$_SDFFE_PP0N_")
+    naja.SNLScalarTerm.create(sdffe_pp0n, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdffe_pp0n, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdffe_pp0n, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(sdffe_pp0n, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdffe_pp0n, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFFE_PN0P(lib):
+    sdffe_pn0p = naja.SNLDesign.createPrimitive(lib, "$_SDFFE_PN0P_")
+    naja.SNLScalarTerm.create(sdffe_pn0p, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdffe_pn0p, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdffe_pn0p, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(sdffe_pn0p, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdffe_pn0p, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFFE_PN0N(lib):
+    sdffe_pn0n = naja.SNLDesign.createPrimitive(lib, "$_SDFFE_PN0N_")
+    naja.SNLScalarTerm.create(sdffe_pn0n, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdffe_pn0n, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdffe_pn0n, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(sdffe_pn0n, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdffe_pn0n, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFFCE_PP0P(lib):
+    sdffce_pp0p = naja.SNLDesign.createPrimitive(lib, "$_SDFFCE_PP0P_")
+    naja.SNLScalarTerm.create(sdffce_pp0p, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdffce_pp0p, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdffce_pp0p, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(sdffce_pp0p, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdffce_pp0p, naja.SNLTerm.Direction.Input, "R")
+
+
+def constructSDFFCE_PN0N(lib):
+    sdffce_pn0n = naja.SNLDesign.createPrimitive(lib, "$_SDFFCE_PN0N_")
+    naja.SNLScalarTerm.create(sdffce_pn0n, naja.SNLTerm.Direction.Input, "C")
+    naja.SNLScalarTerm.create(sdffce_pn0n, naja.SNLTerm.Direction.Input, "D")
+    naja.SNLScalarTerm.create(sdffce_pn0n, naja.SNLTerm.Direction.Input, "E")
+    naja.SNLScalarTerm.create(sdffce_pn0n, naja.SNLTerm.Direction.Output, "Q")
+    naja.SNLScalarTerm.create(sdffce_pn0n, naja.SNLTerm.Direction.Input, "R")
+
+
+def load(db):
+    logging.info("Loading Yosys primitives")
+    lib = naja.NLLibrary.createPrimitives(db, "yosys")
+    constructAND(lib)
+    constructOR(lib)
+    constructXOR(lib)
+    constructMUX(lib)
+    constructNOT(lib)
+    constructDFFP(lib)
+    constructDFFE_PP(lib)
+    constructDFFE_PN(lib)
+    constructDFF_PP0(lib)
+    constructDFF_PP1(lib)
+    constructDFFE_PP0P(lib)
+    constructDFFE_PP1P(lib)
+    constructDFFE_PP0N(lib)
+    constructSDFF_PP0(lib)
+    constructSDFFE_PP0N(lib)
+    constructSDFFE_PN0P(lib)
+    constructSDFFE_PN0N(lib)
+    constructSDFFCE_PP0P(lib)
+    constructSDFFCE_PN0N(lib)

{najaeda-0.1.22.dist-info → najaeda-0.1.24.dist-info}/METADATA

@@ -1,9 +1,20 @@
 Metadata-Version: 2.2
 Name: najaeda
-Version: 0.1.22
+Version: 0.1.24
 Summary: Naja EDA Python package
 Author-Email: Naja Authors <contact@keplertech.io>
 License: Apache License 2.0
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Operating System :: MacOS
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering :: Electronic Design Automation (EDA)
 Project-URL: Homepage, https://github.com/najaeda/naja
 Requires-Python: >=3.8
 Description-Content-Type: text/x-rst

{najaeda-0.1.22.dist-info → najaeda-0.1.24.dist-info}/RECORD

@@ -1,19 +1,19 @@
-najaeda-0.1.22.dist-info/RECORD,,
-najaeda-0.1.22.dist-info/WHEEL,sha256=nFSIsNnUJn_8RF-FUhBaXtCep1yHZRCxSkBom4ebATM,114
-najaeda-0.1.22.dist-info/METADATA,sha256=yODu-S8hBOfAa8gE_obfi9DKrlaWUMBz89ZZb9fk10A,2475
-najaeda-0.1.22.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-najaeda-0.1.22.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
-najaeda/netlist.py,sha256=donwdHm7eKBQNTkjdTTt9lAqKxSbSSYF3CTmN1UafkY,53396
-najaeda/libnaja_nl.dylib,sha256=O1pfUil1jLkWu89X3JGpKyTwuVqmpsnwZDOESYqjqeU,713152
+najaeda-0.1.24.dist-info/RECORD,,
+najaeda-0.1.24.dist-info/WHEEL,sha256=nFSIsNnUJn_8RF-FUhBaXtCep1yHZRCxSkBom4ebATM,114
+najaeda-0.1.24.dist-info/METADATA,sha256=lDGwE7Obzgqwy7l70oK7xEsyYsisAYE1pQJwvbcUV_A,3046
+najaeda-0.1.24.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+najaeda-0.1.24.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
+najaeda/netlist.py,sha256=ZFL00PMhc2pl_uu9_c3_lj65gSjD93zYvfbEFBLZhjg,54309
+najaeda/libnaja_nl.dylib,sha256=jORWEYW9nyFqhPabqspY2MnHdXNEPabSDQa4P9TYhpk,739824
 najaeda/pandas_stats.py,sha256=yOb4ka965U7rN4D6AwvSGmRyeT_O7Ed-5cmT8BFbfeo,1070
 najaeda/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-najaeda/naja.so,sha256=MR_bQ_U1LJRg_rHuKma1ReUGEUewKzUZTbVI5B6FQUE,99440
+najaeda/naja.so,sha256=Zq_U-K5-CLmKVlAy03UV4sS5vCjHUL8mQ4nZnBMzVjQ,99440
 najaeda/net_visitor.py,sha256=P_esjibYb-wBDuF-AyF7es9sJYw1Ha8RhTPu-qKe7G4,1940
-najaeda/libnaja_opt.dylib,sha256=91kz37-SLpztC7x1F_VYZlddwzCBoNVaD6NqL7OL2GQ,190816
-najaeda/libnaja_python.dylib,sha256=l_0oqWr7QEUDCHKI8l2twNrdBEwneIIvXG4yk_Xt4Jc,904240
+najaeda/libnaja_opt.dylib,sha256=5SAY5qqe7QALr2iZP8u8g3KN8Dn4qej9SrcL1hpE6iw,196416
+najaeda/libnaja_python.dylib,sha256=RSDmBKwPGLlD7LECPwljdCRKSWfLaOqvzpetmfT3psI,925632
 najaeda/stats.py,sha256=wackXsf0x24ic9v-UifECHj4t5yveUWssMDZp2B057A,16187
 najaeda/instance_visitor.py,sha256=JMsPSQaWNiDjxS05rxg83a0PIsrOIuTi9G35hkwdibs,1530
-najaeda/libnaja_bne.dylib,sha256=r9-g0qCILL6w_BgXYg62karCWloSPSpdNGEeS2Ey0Jk,134064
+najaeda/libnaja_bne.dylib,sha256=4lVFVXUHKBvqhK5bRnk4HEPvPqnrfH3q0mTtoB2FccY,136624
 najaeda/libnaja_dnl.dylib,sha256=zWsiT-RPDJz9koiDDUHqGNFzSFz7x2SmlIo5PTLkTUs,145936
 najaeda/native/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 najaeda/native/stats.py,sha256=t50hhE9pEFNtlssjES0A-K9TsO_2ZSUAb-e9L3Rt6yc,13063
@@ -37,4 +37,5 @@ najaeda/.dylibs/libtbbmalloc.2.15.dylib,sha256=ORLa9YDlOcMwtcYPZoVnNTTbBpL4lHwYc
 najaeda/.dylibs/libtbb.12.15.dylib,sha256=MGGmYnvwo6PQYq7aVv_m2gKHBbOkAdwjPLJtYZvtG7w,366192
 najaeda/.dylibs/libkj-1.1.0.dylib,sha256=pB7dMks8b8ybJ6xKWqFR_hHjKsmpf7wzbcunZaS7gO4,578320
 najaeda/primitives/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+najaeda/primitives/yosys.py,sha256=g1L70AUJoPCkd9B-b9aW4Pzc1AeR9KyIHoXvneW_UEU,8584
 najaeda/primitives/xilinx.py,sha256=Ka-jlu-OxixEZ_yR_niXLHtaUL8HxT1Bg9H9Kpnr4ns,26551