Skip to content

Commit

Permalink
✨ Added rectangular skeletons (16.896 nm x 16.896 nm) with design scr…
Browse files Browse the repository at this point in the history 
…ipt. (#600)

* 📥 add rectangular skeletons.

* ⚗️ added experiment to design rectangular 2-input gate library.

* 🎨 Incorporated pre-commit fixes

* 📝 update changelog.rst

* 🎨 implement Marcel's feedback.

* 🎨 Incorporated pre-commit fixes

* 📝 Update pyfiction docstrings

Signed-off-by: GitHub Actions <actions@github.com>

---------

Signed-off-by: GitHub Actions <actions@github.com>
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: GitHub Actions <actions@github.com>
  • Loading branch information
@Drewniok @pre-commit-ci @actions-user
3 people authored Dec 17, 2024
1 parent a363f8a commit df6b61e
Show file tree
Hide file tree
Showing 10 changed files with 1,370 additions and 222 deletions.
222 changes: 0 additions & 222 deletions bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1122,56 +1122,6 @@ static const char *__doc_fiction_bounding_box_2d_x_size = R"doc(The horizontal s

static const char *__doc_fiction_bounding_box_2d_y_size = R"doc(The vertical size of the bounding box in layout coordinates.)doc";

static const char *__doc_fiction_branching_signal_container =
R"doc(A container class to help identify layout locations of branching nodes
like fanouts. When a node from a network is to placed in a layout,
fetching the node's fanins and looking for their locations in the
layout does not work properly when branching nodes like fanouts are
involved that got extended by wire nodes. This container solves that
issue.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Template parameter ``fanout_size``:
Maximum fanout size possible in the layout and/or the network.)doc";

static const char *__doc_fiction_branching_signal_container_branches = R"doc(Storage for all branches.)doc";

static const char *__doc_fiction_branching_signal_container_branching_signal = R"doc(Branch type.)doc";

static const char *__doc_fiction_branching_signal_container_branching_signal_branching_signal = R"doc()doc";

static const char *__doc_fiction_branching_signal_container_branching_signal_lyt_signal = R"doc()doc";

static const char *__doc_fiction_branching_signal_container_branching_signal_ntk_node = R"doc()doc";

static const char *__doc_fiction_branching_signal_container_operator_array =
R"doc(Accesses the branching container to find the location of a given node
`n`. Returns the signal to that location if it was already stored or
the default signal, otherwise.

Parameter ``n``:
Node whose branching position is desired.

Returns:
Signal to `n`'s layout location or the default signal if it wasn't
found.)doc";

static const char *__doc_fiction_branching_signal_container_update_branch =
R"doc(Updates the given node's branch by another layout signal, thereby,
creating a new branch or updating the position of an existing one,
e.g., if further wire segments were moving the head of the branch.

Parameter ``ntk_node``:
Node whose branch is to be updated.

Parameter ``lyt_signal``:
New signal pointing to the end of the branch.)doc";

static const char *__doc_fiction_calculate_energy_and_state_type_with_kinks_accepted =
R"doc(This function takes in an SiDB energy distribution. For each charge
distribution, the state type is determined (i.e. erroneous,
Expand Down Expand Up @@ -10202,20 +10152,6 @@ Parameter ``lyt``:
Returns:
List of all routing objectives in the given layout.)doc";

static const char *__doc_fiction_fanin_container =
R"doc(Container that stores fanins of a node in a network, including whether
one of them is a constant.

Note that this container assumes that each node has a maximum of one
constant fanin.

Template parameter ``Ntk``:
`mockturtle` network type.)doc";

static const char *__doc_fiction_fanin_container_constant_fanin =
R"doc(Has a value if a fanin node is constant. In that case, it represents
the constant value.)doc";

static const char *__doc_fiction_fanin_edge_container =
R"doc(Container that stores fanin edges of a node in a network, including
whether one of them is a constant.
Expand Down Expand Up @@ -15189,158 +15125,6 @@ static const char *__doc_fiction_path_set_add = R"doc()doc";
static const char *__doc_fiction_path_set_contains = R"doc()doc";

static const char *__doc_fiction_place =
R"doc(Place 0-input gates.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Parameter ``lyt``:
Gate-level layout in which to place a 0-input gate.

Parameter ``t``:
Tile in `lyt` to place the gate onto.

Parameter ``ntk``:
Network whose node is to be placed.

Parameter ``n``:
Node in `ntk` to place onto `t` in `lyt`.

Returns:
Signal pointing to the placed gate in `lyt`.)doc";

static const char *__doc_fiction_place_2 =
R"doc(Place 1-input gates.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Parameter ``lyt``:
Gate-level layout in which to place a 1-input gate.

Parameter ``t``:
Tile in `lyt` to place the gate onto.

Parameter ``ntk``:
Network whose node is to be placed.

Parameter ``n``:
Node in `ntk` to place onto `t` in `lyt`.

Parameter ``a``:
Incoming signal to the newly placed gate in `lyt`.

Returns:
Signal pointing to the placed gate in `lyt`.)doc";

static const char *__doc_fiction_place_3 =
R"doc(Place 2-input gates.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Parameter ``lyt``:
Gate-level layout in which to place a 2-input gate.

Parameter ``t``:
Tile in `lyt` to place the gate onto.

Parameter ``ntk``:
Network whose node is to be placed.

Parameter ``n``:
Node in `ntk` to place onto `t` in `lyt`.

Parameter ``a``:
First incoming signal to the newly placed gate in `lyt`.

Parameter ``b``:
Second incoming signal to the newly placed gate in `lyt`.

Parameter ``c``:
Third optional incoming constant value signal to the newly placed
gate in `lyt`. Might change the gate function when set, e.g., from
a MAJ to an AND if `c == false`.

Returns:
Signal pointing to the placed gate in `lyt`.)doc";

static const char *__doc_fiction_place_4 =
R"doc(Place 3-input gates.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Parameter ``lyt``:
Gate-level layout in which to place a 3-input gate.

Parameter ``t``:
Tile in `lyt` to place the gate onto.

Parameter ``ntk``:
Network whose node is to be placed.

Parameter ``n``:
Node in `ntk` to place onto `t` in `lyt`.

Parameter ``a``:
First incoming signal to the newly placed gate in `lyt`.

Parameter ``b``:
Second incoming signal to the newly placed gate in `lyt`.

Parameter ``c``:
Third incoming signal to the newly placed gate in `lyt`.

Returns:
Signal pointing to the placed gate in `lyt`.)doc";

static const char *__doc_fiction_place_5 =
R"doc(Place any gate from a network. This function automatically identifies
the arity of the passed node and fetches its incoming signals from the
given network and a provided `mockturtle::node_map`. This function
does not update the `mockturtle::node_map`.

Template parameter ``Lyt``:
Gate-level layout type.

Template parameter ``Ntk``:
Logic network type.

Parameter ``lyt``:
Gate-level layout in which to place any gate.

Parameter ``t``:
Tile in `lyt` to place the gate onto.

Parameter ``ntk``:
Network whose node is to be placed.

Parameter ``n``:
Node in `ntk` to place onto `t` in `lyt`.

Parameter ``node2pos``:
Mapping from network nodes to layout signals, i.e., a pointer to
their position in the layout. The map is used to fetch location of
the fanins. The `mockturtle::node_map` is not updated by this
function.

Returns:
Signal to the newly placed gate in `lyt`.)doc";

static const char *__doc_fiction_place_6 =
R"doc(Place any gate from a network. This function automatically identifies
the arity of the passed node and fetches its incoming signals from the
given network and a provided branching_signal_container
Expand Down Expand Up @@ -19323,12 +19107,6 @@ static const char *__doc_fmt_formatter_parse = R"doc()doc";

static const char *__doc_fmt_formatter_parse_2 = R"doc()doc";

static const char *__doc_fmt_unnamed_struct_at_home_runner_work_fiction_fiction_include_fiction_layouts_coordinates_hpp_1090_8 = R"doc()doc";

static const char *__doc_fmt_unnamed_struct_at_home_runner_work_fiction_fiction_include_fiction_layouts_coordinates_hpp_1106_8 = R"doc()doc";

static const char *__doc_fmt_unnamed_struct_at_home_runner_work_fiction_fiction_include_fiction_technology_cell_ports_hpp_291_8 = R"doc()doc";

static const char *__doc_mockturtle_detail_foreach_element_if_transform = R"doc()doc";

static const char *__doc_mockturtle_edge =
Expand Down
1 change: 1 addition & 0 deletions docs/changelog.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ Unreleased
Added
#####
- Experiments:
- Added rectangular SiDB gate skeletons and a script for designing a corresponding library.
- Added information about how many layouts remain after each of QuickCell's pruning steps.

v0.6.6 - 2024-11-26
Expand Down
Loading

0 comments on commit df6b61e

Please sign in to comment.