Improvements to emap

docs/algorithms/mapper.rst

@@ -1,3 +1,87 @@
+Extended technology mapping
+---------------------------
+
+**Header:** ``mockturtle/algorithms/emap.hpp``
+
+The command `emap` stands for extended mapper. It supports large
+library cells, of more than 6 inputs, and can perform matching using 3
+different methods: Boolean, pattern, or hybrid. The current version
+can map to 2-output gates, such as full adders and half adders,
+and provides a 2x speedup in mapping time compared to command `map`
+for similar or better quality. Similarly, to `map`, the implementation
+is independent of the underlying graph representation.
+Additionally, `emap` supports "don't touch" white boxes (gates).
+
+Command `emap` can return the mapped network in two formats.
+Command `emap` returns a `cell_view<block_network>` that supports
+multi-output cells. Command `emap_klut` returns a `binding_view<klut_network>`
+similarly as command `map`.
+
+The following example shows how to perform delay-oriented technology mapping
+from an and-inverter graph using large cells up to 9 inputs:
+
+.. code-block:: c++
+
+   aig_network aig = ...;
+
+   /* read cell library in genlib format */
+   std::vector<gate> gates;
+   std::ifstream in( ... );
+   lorina::read_genlib( in, genlib_reader( gates ) )
+   tech_library<9> tech_lib( gates );
+
+   /* perform technology mapping */
+   cell_view<block_network> res = emap<9>( aig, tech_lib );
+
+The next example performs area-oriented graph mapping using multi-output cells:
+
+.. code-block:: c++
+
+   aig_network aig = ...;
+
+   /* read cell library in genlib format */
+   std::vector<gate> gates;
+   std::ifstream in( ... );
+   lorina::read_genlib( in, genlib_reader( gates ) )
+   tech_library tech_lib( gates );
+
+   /* perform technology mapping */
+   emap_params ps;
+   ps.area_oriented_mapping = true;
+   ps.map_multioutput = true;
+   cell_view<block_network> res = emap( aig, tech_lib, ps );
+
+In this case, `emap` is used to return a `block_network`, which can respresent multi-output
+cells as single nodes. Alternatively, also `emap_klut` can be used but multi-output cells
+would be reporesented by single-output nodes.
+
+The maximum number of cuts stored for each node is limited to 20.
+To increase this limit, change `max_cut_num` in `emap`.
+
+You can set the inputs arrival time and output required times using the parameters `arrival_times`
+and `required times`. Moreover, it is possible to ask for a required time relaxation. For instance,
+if we want to map a network with an increase of 10% over its minimal delay, we can set
+`relax_required` to 10.
+
+For further details and usage scenarios of `emap`, such as white boxes, please check the
+related tests.
+
+**Parameters and statistics**
+
+.. doxygenstruct:: mockturtle::emap_params
+   :members:
+
+.. doxygenstruct:: mockturtle::emap_stats
+   :members:
+
+**Algorithm**
+
+.. doxygenfunction:: mockturtle::emap(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
+.. doxygenfunction:: mockturtle::emap_klut(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
+.. doxygenfunction:: mockturtle::emap_node_map(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
+.. doxygenfunction:: mockturtle::emap_load_mapping(Ntk&)
+
+
 Technology mapping and network conversion
 -----------------------------------------
 
@@ -136,84 +220,4 @@ To increase this limit, change `max_cut_num` in `fast_network_cuts`.
 **Algorithm**
 
 .. doxygenfunction:: mockturtle::map(Ntk const&, tech_library<NInputs, Configuration> const&, map_params const&, map_stats*)
-.. doxygenfunction:: mockturtle::map(Ntk&, exact_library<NtkDest, RewritingFn, NInputs> const&, map_params const&, map_stats*)
-
-
-
-Extended technology mapping
----------------------------
-
-**Header:** ``mockturtle/algorithms/emap.hpp``
-
-The command `emap` stands for extended mapper. It supports large
-library cells, of more than 6 inputs, and can perform matching using 3
-different methods: Boolean, pattern, or hybrid. The current version
-can map to 2-output gates, such as full adders and half adders,
-and provides a 2x speedup in mapping time compared to command `map`
-for similar or better quality. Similarly, to `map`, the implementation
-is independent of the underlying graph representation.
-Additionally, `emap` supports "don't touch" white boxes (gates).
-
-Command `emap` can return the mapped network in two formats.
-Command `emap` returns a `cell_view<block_network>` that supports
-multi-output cells. Command `emap_klut` returns a `binding_view<klut_network>`
-similarly as command `map`.
-
-The following example shows how to perform delay-oriented technology mapping
-from an and-inverter graph using large cells up to 9 inputs:
-
-.. code-block:: c++
-
-   aig_network aig = ...;
-
-   /* read cell library in genlib format */
-   std::vector<gate> gates;
-   std::ifstream in( ... );
-   lorina::read_genlib( in, genlib_reader( gates ) )
-   tech_library<9> tech_lib( gates );
-
-   /* perform technology mapping */
-   cell_view<block_network> res = emap<9>( aig, tech_lib );
-
-The next example performs area-oriented graph mapping using multi-output cells:
-
-.. code-block:: c++
-
-   aig_network aig = ...;
-
-   /* read cell library in genlib format */
-   std::vector<gate> gates;
-   std::ifstream in( ... );
-   lorina::read_genlib( in, genlib_reader( gates ) )
-   tech_library tech_lib( gates );
-
-   /* perform technology mapping */
-   emap_params ps;
-   ps.area_oriented_mapping = true;
-   ps.map_multioutput = true;
-   cell_view<block_network> res = emap( aig, tech_lib, ps );
-
-In this case, `emap` is used to return a `block_network`, which can respresent multi-output
-cells as single nodes. Alternatively, also `emap_klut` can be used but multi-output cells
-would be reporesented by single-output nodes.
-
-The maximum number of cuts stored for each node is limited to 32.
-To increase this limit, change `max_cut_num` in `emap`.
-
-For further details and usage scenarios of `emap`, such as white boxes, please check the
-related tests.
-
-**Parameters and statistics**
-
-.. doxygenstruct:: mockturtle::emap_params
-   :members:
-
-.. doxygenstruct:: mockturtle::emap_stats
-   :members:
-
-**Algorithm**
-
-.. doxygenfunction:: mockturtle::emap(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
-.. doxygenfunction:: mockturtle::emap_klut(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
-.. doxygenfunction:: mockturtle::emap_node_map(Ntk const&, tech_library<NInputs, Configuration> const&, emap_params const&, emap_stats*)
-.. doxygenfunction:: mockturtle::emap_load_mapping(Ntk&)
+.. doxygenfunction:: mockturtle::map(Ntk&, exact_library<NtkDest, NInputs> const&, map_params const&, map_stats*)

experiments/emap.cpp

@@ -65,6 +65,7 @@ int main()
   }
 
   tech_library_params tps;
+  tps.ignore_symmetries = false; // set to true to drastically speed-up mapping with minor delay increase
   tps.verbose = true;
   tech_library<9> tech_lib( gates, tps );
 
@@ -91,6 +92,7 @@ int main()
     ps.matching_mode = emap_params::hybrid;
     ps.area_oriented_mapping = false;
     ps.map_multioutput = true;
+    ps.relax_required = 0;
     emap_stats st;
     cell_view<block_network> res = emap<9>( aig, tech_lib, ps, &st );