najaeda 0.1.23__cp313-cp313t-macosx_11_0_arm64.whl → 0.1.25__cp313-cp313t-macosx_11_0_arm64.whl

najaeda/docs/source/introduction.rst

@@ -23,8 +23,7 @@ With **najaeda**, it is possible to:
 * **Prototype EDA Ideas Quickly**:
     * Use an intuitive API to experiment with new EDA concepts and workflows.
 * **Develop Custom EDA Tools**:
-    * Build fast, tailored tools for solving specific challenges
-    without relying on costly, proprietary EDA software.
+    * Build fast, tailored tools for solving specific challenges without relying on costly, proprietary EDA software.
 
 **najaeda** empowers developers to innovate, adapt, and accelerate
 their EDA processes with minimal overhead.
@@ -34,6 +33,15 @@ Information about the **najaeda** PyPI package is available at https://pypi.org/
 If you want more details about the underlying **naja** C++ library,
 please visit the **naja** GitHub repository at https://github.com/najaeda/naja .
 
+Quick Start
+===========
+
+To get started with **najaeda**, try out the interactive notebook in Google Colab:
+
+.. image:: https://colab.research.google.com/assets/colab-badge.svg
+   :target: https://colab.research.google.com/github/najaeda/najaeda-tutorials/blob/main/notebooks/01_getting_started.ipynb
+   :alt: Open in Colab
+
 Installation
 ------------
 **najaeda** can be easily installed using pip:

najaeda/netlist.py

@@ -12,6 +12,7 @@ import sys
 import os
 from enum import Enum
 from typing import Union, List
+from dataclasses import dataclass
 
 from najaeda import naja
 
@@ -363,7 +364,10 @@ class Net:
         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]
         """
@@ -372,8 +376,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]
         """
@@ -415,9 +429,11 @@ def get_snl_term_for_ids_with_path(path, termIDs):
 
 
 class Term:
-    INPUT = naja.SNLTerm.Direction.Input
-    OUTPUT = naja.SNLTerm.Direction.Output
-    INOUT = naja.SNLTerm.Direction.InOut
+    class Direction(Enum):
+        """Enum for the direction of a term."""
+        INPUT = naja.SNLTerm.Direction.Input
+        OUTPUT = naja.SNLTerm.Direction.Output
+        INOUT = naja.SNLTerm.Direction.InOut
 
     def __init__(self, path, term):
         # self.termIDs = []
@@ -558,18 +574,18 @@ class Term:
         """
         return get_snl_term_for_ids(self.pathIDs, self.termIDs).getName()
 
-    def get_direction(self) -> naja.SNLTerm.Direction:
+    def get_direction(self) -> Direction:
         """
         :return: the direction of the term.
-        :rtype: naja.SNLTerm.Direction
+        :rtype: Term.Direction
         """
         snlterm = get_snl_term_for_ids(self.pathIDs, self.termIDs)
         if snlterm.getDirection() == naja.SNLTerm.Direction.Input:
-            return Term.INPUT
+            return Term.Direction.INPUT
         elif snlterm.getDirection() == naja.SNLTerm.Direction.Output:
-            return Term.OUTPUT
+            return Term.Direction.OUTPUT
         elif snlterm.getDirection() == naja.SNLTerm.Direction.InOut:
-            return Term.INOUT
+            return Term.Direction.INOUT
 
     def __get_snl_bitnet(self, bit) -> Net:
         # single bit
@@ -633,6 +649,7 @@ class Term:
         """
         :return: the net of the term.
         :rtype: Net
+        :remark: If the term is a top level term, it will return None.
         """
         head_path = self.pathIDs.copy()
         if len(head_path) == 0:
@@ -962,17 +979,25 @@ class Instance:
     def dump_context_dot(self, path: str):
         self.__get_snl_model().dumpContextDotFile(path)
 
-    def get_child_instance(self, name: str):
+    def get_child_instance(self, names: Union[str, list]):
         """
-        :param str name: the name of the child Instance to get.
-        :return: the child Instance with the given name or None if it does not exist.
+        :param names: the name of the child instance
+            or the path to the child Instance as a list of names.
+        :return: the child Instance at the given path or None if it does not exist.
         :rtype: Instance or None
         """
-        childInst = self.__get_snl_model().getInstance(name)
-        if childInst is None:
-            return None
+        if isinstance(names, str):
+            names = [names]
+        if not names:
+            raise ValueError("Names argument cannot be empty")
+        model = self.__get_snl_model()
         path = self.pathIDs.copy()
-        path.append(childInst.getID())
+        for name in names:
+            childInst = model.getInstance(name)
+            if childInst is None:
+                return None
+            path.append(childInst.getID())
+            model = childInst.getModel()
         return Instance(path)
 
     def get_child_instances(self):
@@ -1300,11 +1325,11 @@ class Instance:
         path = naja.SNLPath(path, newSNLInstance)
         return Instance(path)
 
-    def create_term(self, name: str, direction: naja.SNLTerm.Direction) -> Term:
+    def create_term(self, name: str, direction: Term.Direction) -> Term:
         """Create a Term in this Instance with the given name and direction.
 
         :param str name: the name of the Term to create.
-        :param naja.SNLTerm.Direction direction: the direction of the Term to create.
+        :param Term.Direction direction: the direction of the Term to create.
         :return: the created Term.
         """
         path = get_snl_path_from_id_list(self.pathIDs)
@@ -1312,7 +1337,7 @@ class Instance:
             naja.SNLUniquifier(path)
             path = get_snl_path_from_id_list(self.pathIDs)
         design = self.__get_snl_model()
-        newSNLTerm = naja.SNLScalarTerm.create(design, direction, name)
+        newSNLTerm = naja.SNLScalarTerm.create(design, direction.value, name)
         return Term(path.getPathIDs(), newSNLTerm)
 
     def create_output_term(self, name: str) -> Term:
@@ -1322,7 +1347,7 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_term(name, naja.SNLTerm.Direction.Output)
+        return self.create_term(name, Term.Direction.OUTPUT)
 
     def create_input_term(self, name: str) -> Term:
         """Create an input Term in this Instance with the given name.
@@ -1331,7 +1356,7 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_term(name, naja.SNLTerm.Direction.Input)
+        return self.create_term(name, Term.Direction.INPUT)
 
     def create_inout_term(self, name: str) -> Term:
         """Create an inout Term in this Instance with the given name.
@@ -1340,22 +1365,22 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_term(name, naja.SNLTerm.Direction.InOut)
+        return self.create_term(name, Term.Direction.INOUT)
 
-    def create_bus_term(self, name: str, msb: int, lsb: int, direction) -> Term:
+    def create_bus_term(self, name: str, msb: int, lsb: int, direction: Term.Direction) -> Term:
         """Create a bus Term in this Instance with the given name, msb, lsb and direction.
 
         :param str name: the name of the Term to create.
         :param int msb: the most significant bit of the Term to create.
         :param int lsb: the least significant bit of the Term to create.
-        :param naja.SNLTerm.Direction direction: the direction of the Term to create.
+        :param Term.Direction direction: the direction of the Term to create.
         :return: the created Term.
         """
         path = get_snl_path_from_id_list(self.pathIDs)
         if path.size() > 0:
             naja.SNLUniquifier(path)
         design = self.__get_snl_model()
-        newSNLTerm = naja.SNLBusTerm.create(design, direction, msb, lsb, name)
+        newSNLTerm = naja.SNLBusTerm.create(design, direction.value, msb, lsb, name)
         return Term(self.pathIDs, newSNLTerm)
 
     def create_inout_bus_term(self, name: str, msb: int, lsb: int) -> Term:
@@ -1367,7 +1392,7 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_bus_term(name, msb, lsb, naja.SNLTerm.Direction.InOut)
+        return self.create_bus_term(name, msb, lsb, Term.Direction.INOUT)
 
     def create_output_bus_term(self, name: str, msb: int, lsb: int) -> Term:
         """Create an output bus Term in this Instance with the given name, msb and lsb.
@@ -1378,7 +1403,7 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_bus_term(name, msb, lsb, naja.SNLTerm.Direction.Output)
+        return self.create_bus_term(name, msb, lsb, Term.Direction.OUTPUT)
 
     def create_input_bus_term(self, name: str, msb: int, lsb: int) -> Term:
         """Create an input bus Term in this Instance with the given name, msb and lsb.
@@ -1389,7 +1414,7 @@ class Instance:
         :return: the created Term.
         :rtype: Term
         """
-        return self.create_bus_term(name, msb, lsb, naja.SNLTerm.Direction.Input)
+        return self.create_bus_term(name, msb, lsb, Term.Direction.INPUT)
 
     def create_net(self, name: str) -> Net:
         """Create a scalar Net in this Instance with the given name.
@@ -1423,13 +1448,21 @@ class Instance:
         newSNLNet = naja.SNLBusNet.create(model, msb, lsb, name)
         return Net(path, newSNLNet)
 
-    def dump_verilog(self, path: str, name: str):
+    def dump_verilog(self, path: str):
         """Dump the verilog of this instance.
 
-        :param str path: the path where to dump the verilog.
-        :param str name: the name of the verilog file.
+        :param str path: the file path where to dump the verilog.
+        :rtype: None
+        :raises ValueError: if the path does not end with .v.
+        :raises FileNotFoundError: if the directory of the path does not exist.
         """
-        self.__get_snl_model().dumpVerilog(path, name)
+        # path should be a file path of the form "path/to/file.v"
+        if not path.endswith(".v"):
+            raise ValueError("The path must end with .v")
+        dir_path = os.path.dirname(path) or "."
+        if not os.path.exists(dir_path):
+            raise FileNotFoundError(f"The directory {dir_path} does not exist")
+        self.__get_snl_model().dumpVerilog(dir_path, os.path.basename(path))
 
     def get_truth_table(self):
         """
@@ -1448,6 +1481,15 @@ def __get_top_db() -> naja.NLDB:
     return naja.NLUniverse.get().getTopDB()
 
 
+def reset():
+    """Reset the environment by deleting everything.
+    :rtype: None
+    """
+    u = naja.NLUniverse.get()
+    if u is not None:
+        u.destroy()
+
+
 def get_top():
     """
     :return: the top Instance.
@@ -1472,16 +1514,20 @@ def create_top(name: str) -> Instance:
     return Instance()
 
 
+@dataclass
 class VerilogConfig:
-    def __init__(self, keep_assigns=True):
-        self.keep_assigns = keep_assigns
+    keep_assigns: bool = True
+    allow_unknown_designs: bool = False
 
 
 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.
+    :rtype: Instance
+    :raises Exception: if no files are provided.
     """
     if isinstance(files, str):
         files = [files]
@@ -1491,7 +1537,11 @@ def load_verilog(files: Union[str, List[str]], config: VerilogConfig = None) ->
         config = VerilogConfig()  # Use default settings
     start_time = time.time()
     logging.info(f"Loading verilog: {', '.join(files)}")
-    __get_top_db().loadVerilog(files, keep_assigns=config.keep_assigns)
+    __get_top_db().loadVerilog(
+        files,
+        keep_assigns=config.keep_assigns,
+        allow_unknown_designs=config.allow_unknown_designs
+    )
     execution_time = time.time() - start_time
     logging.info(f"Loading done in {execution_time:.2f} seconds")
     return get_top()
@@ -1499,7 +1549,10 @@ 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.
+    :rtype: None
+    :raises Exception: if no liberty files are provided.
     """
     if isinstance(files, str):
         files = [files]
@@ -1515,11 +1568,17 @@ def load_primitives(name: str):
     Currently supported libraries are:
 
     - xilinx
+    - yosys
+    :param str name: the name of the primitives library to load.
+    :raises ValueError: if the name is not recognized.
+    :rtype: None
     """
     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}")
 
@@ -1572,14 +1631,18 @@ def get_model_name(id: tuple[int, int, int]) -> str:
 
 
 def apply_dle():
-    """Apply the DLE (Dead Logic Elimination) to the top design."""
+    """Apply the DLE (Dead Logic Elimination) to the top design.
+    :rtype: None
+    """
     top = naja.NLUniverse.get().getTopDesign()
     if top is not None:
         naja.NLUniverse.get().applyDLE()
 
 
 def apply_constant_propagation():
-    """Apply constant propagation to the top design."""
+    """Apply constant propagation to the top design.
+    :rtype: None
+    """
     top = naja.NLUniverse.get().getTopDesign()
     if top is not None:
         naja.NLUniverse.get().applyConstantPropagation()

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/stats.py

@@ -207,19 +207,19 @@ def compute_instance_stats(instance, instances_stats):
 
 def compute_instance_terms(instance, instance_stats):
     for term in instance.get_terms():
-        if term.get_direction() == netlist.Term.INPUT:
+        if term.get_direction() == netlist.Term.Direction.INPUT:
             instance_stats.terms["inputs"] = instance_stats.terms.get("inputs", 0) + 1
             bit_terms = sum(1 for _ in term.get_bits())
             instance_stats.bit_terms["inputs"] = (
                 instance_stats.bit_terms.get("inputs", 0) + bit_terms
             )
-        elif term.get_direction() == netlist.Term.OUTPUT:
+        elif term.get_direction() == netlist.Term.Direction.OUTPUT:
             instance_stats.terms["outputs"] = instance_stats.terms.get("outputs", 0) + 1
             bit_terms = sum(1 for _ in term.get_bits())
             instance_stats.bit_terms["outputs"] = (
                 instance_stats.bit_terms.get("outputs", 0) + bit_terms
             )
-        elif term.get_direction() == netlist.Term.INOUT:
+        elif term.get_direction() == netlist.Term.Direction.INOUT:
             instance_stats.terms["inouts"] = instance_stats.terms.get("inouts", 0) + 1
             bit_terms = sum(1 for _ in term.get_bits())
             instance_stats.bit_terms["inouts"] = (

{najaeda-0.1.23.dist-info → najaeda-0.1.25.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: najaeda
-Version: 0.1.23
+Version: 0.1.25
 Summary: Naja EDA Python package
 Author-Email: Naja Authors <contact@keplertech.io>
 License: Apache License 2.0
@@ -19,16 +19,16 @@ Project-URL: Homepage, https://github.com/najaeda/naja
 Requires-Python: >=3.8
 Description-Content-Type: text/x-rst
 
-Naja EDA Python Package
+najaeda Python Package
 =======================
 
-Naja EDA is a Python package that provides data structures and APIs for developing post-synthesis Electronic Design Automation (EDA) algorithms.
+najaeda is a Python package that provides data structures and APIs for developing post-synthesis Electronic Design Automation (EDA) algorithms.
 
-Naja EDA provides a powerful yet simple framework designed to help software
+najaeda provides a powerful yet simple framework designed to help software
 and hardware developers efficiently navigate and manipulate electronic
 design automation (EDA) workflows.
 
-With Naja EDA, you can:
+With najaeda, you can:
 
 * Explore Netlists with Ease:
 
@@ -51,10 +51,10 @@ With Naja EDA, you can:
 
   * Build fast, tailored tools for solving specific challenges without relying on costly, proprietary EDA software.
 
-Naja EDA empowers developers to innovate, adapt, and accelerate their EDA
+najaeda empowers developers to innovate, adapt, and accelerate their EDA
 processes with minimal overhead.
 
-Naja EDA is the Python counterpart of the `Naja C++ project <https://github.com/najaeda/naja>`_.
+najaeda is the Python counterpart of the `Naja C++ project <https://github.com/najaeda/naja>`_.
 
 If you’re interested in this project, please consider starring it on GitHub.
 Feel free to reach out to us anytime at `contact@keplertech.io <mailto:contact@keplertech.io>`_.
@@ -68,6 +68,15 @@ Install Naja EDA using pip:
 
     pip install najaeda
 
+Quick Start
+-----------
+
+To quickly explore what **najaeda** can do, launch the interactive tutorial notebook on Google Colab:
+
+.. image:: https://colab.research.google.com/assets/colab-badge.svg
+   :target: https://colab.research.google.com/github/najaeda/najaeda-tutorials/blob/main/notebooks/01_getting_started.ipynb
+   :alt: Open in Colab
+
 Documentation
 -------------
 

{najaeda-0.1.23.dist-info → najaeda-0.1.25.dist-info}/RECORD

@@ -1,19 +1,19 @@
-najaeda-0.1.23.dist-info/RECORD,,
-najaeda-0.1.23.dist-info/WHEEL,sha256=K65AJzICMUVN6ED5A5fm1lV1nZZqwk4MGF2oXTxJaVw,115
-najaeda-0.1.23.dist-info/METADATA,sha256=fUZcD04Cf0r8tlSQgRGVIOQ9NeRfMJYPNLdAR5UcSZE,3046
-najaeda-0.1.23.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
-najaeda-0.1.23.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
-najaeda/netlist.py,sha256=RA8jMz9uwwlLSLVli5mzqI5Z3RS6mk9YuFol-7SeEIM,53647
-najaeda/libnaja_nl.dylib,sha256=O1pfUil1jLkWu89X3JGpKyTwuVqmpsnwZDOESYqjqeU,713152
+najaeda-0.1.25.dist-info/RECORD,,
+najaeda-0.1.25.dist-info/WHEEL,sha256=K65AJzICMUVN6ED5A5fm1lV1nZZqwk4MGF2oXTxJaVw,115
+najaeda-0.1.25.dist-info/METADATA,sha256=gX37lYtMJ59BpS-CtFKG2bq5UCCubzjLNxC8-Xp6Ipk,3384
+najaeda-0.1.25.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
+najaeda-0.1.25.dist-info/licenses/AUTHORS,sha256=7NYEGDAX_1QZvCCHfq8YVXC5ZbwH_pbNI8DcSmm70GU,377
+najaeda/netlist.py,sha256=2h7Tbl3IsCqGDdylWiVX5u-E3yoWAVi6kNb7sS7JqtA,55809
+najaeda/libnaja_nl.dylib,sha256=5995NHdDOsc66W_7HN6dbyvBCqqY3l1u97f8CI4X7mo,738240
 najaeda/pandas_stats.py,sha256=yOb4ka965U7rN4D6AwvSGmRyeT_O7Ed-5cmT8BFbfeo,1070
 najaeda/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-najaeda/naja.so,sha256=G3GyUg1q6mXnFryEyUYh1aPWzc0BoWUZRwc88-3hS9s,99440
+najaeda/naja.so,sha256=DFFPgU5EOfyiK3j1azRi5l8M7GWtlEo09caPybr2zAM,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=P3N0GrfhBgdO3bJ4mMln9TzsFAWDX4ZGa_DejTDRn6U,904352
-najaeda/stats.py,sha256=wackXsf0x24ic9v-UifECHj4t5yveUWssMDZp2B057A,16187
+najaeda/libnaja_opt.dylib,sha256=DueaGAzPtgYg5Xn3eVl6cvCMpY2oj_SZqF3uV2iBHb8,212720
+najaeda/libnaja_python.dylib,sha256=r3WP4xrPu_GtfYYhedey2M5S2hXQCGsW0VltuHUFQ58,942752
+najaeda/stats.py,sha256=SJ9rca0Z6ldNAFOjU7DPO2hfx1zq-9Bec0Rx_oLasJo,16217
 najaeda/instance_visitor.py,sha256=JMsPSQaWNiDjxS05rxg83a0PIsrOIuTi9G35hkwdibs,1530
-najaeda/libnaja_bne.dylib,sha256=r9-g0qCILL6w_BgXYg62karCWloSPSpdNGEeS2Ey0Jk,134064
+najaeda/libnaja_bne.dylib,sha256=pLbGUnDr5PSGXbA8wKD-pqEyQIWHbiCb1icPpxRYrWE,136416
 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
@@ -30,11 +30,12 @@ najaeda/docs/source/examples.rst.in,sha256=4ZStOA3N5VHbKZgdn2kaEQZL7wPoJwODS2E1B
 najaeda/docs/source/common_classes.rst,sha256=o20u3mcpFYINwy0sVdye90ZPMQcPqoH3V4ERKcG7SZI,181
 najaeda/docs/source/equipotential.rst,sha256=0MDi-4fPEsX7K_ezWj5DB3mCalnhqN-sicYbQKYQfNc,335
 najaeda/docs/source/netlist_classes.rst,sha256=Zrha9MQVEdEwxmP2zhgC0K3iioZXXerzeFoOz5SrOXM,132
-najaeda/docs/source/introduction.rst,sha256=kE4qxEJCgcAswiT3rIJS21oBYIMg1cyT_rKmOzQgvsI,2095
+najaeda/docs/source/introduction.rst,sha256=nvxL5OQ-SeVWuTF6CY93iPt7S5ReXvqk5D9bW36CUUs,2416
 najaeda/docs/source/api.rst,sha256=47VCPyF4Py_1cklZ3q9fmOMhqqI17rxwU_VUJETfCwY,151
 najaeda/.dylibs/libcapnp-1.1.0.dylib,sha256=l9SvRdxPrCI2mB_UitO7QjsaC7I5mq2R3rZjoIQKEYI,709328
 najaeda/.dylibs/libtbbmalloc.2.15.dylib,sha256=ORLa9YDlOcMwtcYPZoVnNTTbBpL4lHwYcfA3YCJm_xA,126688
 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