File headers

include/mockturtle/algorithms/aig_resub.hpp

@@ -27,7 +27,10 @@
   \file aig_resub.hpp
   \brief Resubstitution
 
+  \author Eleonora Testa
   \author Heinz Riener
+  \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/akers_synthesis.hpp

@@ -27,7 +27,12 @@
   \file akers_synthesis.hpp
   \brief Akers synthesis
 
+  \author Alessandro Tempia Calvino
   \author Eleonora Testa
+  \author Heinz Riener
+  \author Marcel Walter
+  \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/balancing.hpp

@@ -27,6 +27,7 @@
   \file balancing.hpp
   \brief Cut-based depth-optimization
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/balancing/esop_balancing.hpp

@@ -27,6 +27,7 @@
   \file esop_balancing.hpp
   \brief ESOP-based balancing engine for `balancing` algorithm
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/balancing/sop_balancing.hpp

@@ -27,6 +27,7 @@
   \file sop_balancing.hpp
   \brief SOP-based balancing engine for `balancing` algorithm
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/balancing/utils.hpp

@@ -27,6 +27,7 @@
   \file utils.hpp
   \brief Balancing data types
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/bi_decomposition.hpp

@@ -27,7 +27,9 @@
   \file bi_decomposition.hpp
   \brief BI decomposition
 
-  \author Eleonora Testa 
+  \author Eleonora Testa
+  \author Heinz Riener
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/cell_window.hpp

@@ -27,6 +27,8 @@
   \file cell_window.hpp
   \brief Windowing in mapped network
 
+  \author Bruno Schmitt
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/circuit_validator.hpp

@@ -27,7 +27,8 @@
   \file circuit_validator.hpp
   \brief Validate potential circuit optimization choices with SAT.
 
-  \author Siang-Yun Lee
+  \author Heinz Riener
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/cleanup.hpp

@@ -27,6 +27,7 @@
   \file cleanup.hpp
   \brief Cleans up networks
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/cnf.hpp

@@ -27,7 +27,9 @@
   \file cnf.hpp
   \brief CNF generation methods
 
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/collapse_mapped.hpp

@@ -27,6 +27,7 @@
   \file collapse_mapped.hpp
   \brief Collapses mapped network into k-LUT network
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/cut_enumeration.hpp

@@ -27,7 +27,9 @@
   \file cut_enumeration.hpp
   \brief Cut enumeration
 
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Sahand Kashani-Akhavan
 */
 
 #pragma once

include/mockturtle/algorithms/cut_enumeration/cnf_cut.hpp

@@ -27,6 +27,7 @@
   \file cnf_cut.hpp
   \brief Cut enumeration for CNF mapping
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp

@@ -27,6 +27,7 @@
   \file gia_cut.hpp
   \brief Cut enumeration as in giaCut.c
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp

@@ -27,6 +27,7 @@
   \file mf_cut.hpp
   \brief Cut enumeration for MF mapping (see giaMf.c)
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp

@@ -28,6 +28,8 @@
   \brief Cut enumeration based on spectral properties of a function
 
   \author Giulia Meuli
+  \author Heinz Riener
+  \author Mathias Soeken
 */
 
 #pragma once

include/mockturtle/algorithms/cut_rewriting.hpp

@@ -27,6 +27,7 @@
   \file cut_rewriting.hpp
   \brief Cut rewriting
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/decomposition.hpp

@@ -27,6 +27,7 @@
   \file decomposition.hpp
   \brief Shannon and Davio decomposition
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/detail/minmc_xags.hpp

@@ -27,6 +27,7 @@
   \file minmc_xags.hpp
   \brief Optimum MC XAGs up to 5 variables
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/dont_cares.hpp

@@ -27,7 +27,10 @@
   \file dont_cares.hpp
   \brief Compute don't cares
 
+  \author Eleonora Testa
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/dsd_decomposition.hpp

@@ -27,7 +27,9 @@
   \file dsd_decomposition.hpp
   \brief DSD decomposition
 
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/equivalence_checking.hpp

@@ -27,6 +27,7 @@
   \file equivalence_checking.hpp
   \brief Combinational equivalence checking
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/equivalence_classes.hpp

@@ -27,6 +27,7 @@
   \file equivalence_classes.hpp
   \brief Synthesis routines based on equivalence classes
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/exact_mc_synthesis.hpp

@@ -27,6 +27,7 @@
   \file exact_mc_synthesis.hpp
   \brief SAT-based XAG synthesis based on MC
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/exorcism.hpp

@@ -27,6 +27,7 @@
   \file exorcism.hpp
   \brief Wrapper for ABC's exorcism
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/extract_linear.hpp

@@ -27,6 +27,7 @@
   \file extract_linear.hpp
   \brief Extract linear subcircuit in XAGs
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/functional_reduction.hpp

@@ -27,7 +27,7 @@
   \file functional_reduction.hpp
   \brief Functional reduction for any network type
 
-  \author Siang-Yun Lee
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once
@@ -454,4 +454,4 @@ void functional_reduction( Ntk& ntk, functional_reduction_params const& ps = {},
   }
 }
 
-} /* namespace mockturtle */
+} /* namespace mockturtle */

include/mockturtle/algorithms/gates_to_nodes.hpp

@@ -27,6 +27,7 @@
   \file gates_to_nodes.hpp
   \brief Convert gate-based network into node-based network
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/linear_resynthesis.hpp

@@ -27,7 +27,10 @@
   \file linear_resynthesis.hpp
   \brief Resynthesize linear circuit
 
+  \author Eleonora Testa
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once

include/mockturtle/algorithms/lut_mapping.hpp

@@ -27,6 +27,7 @@
   \file lut_mapping.hpp
   \brief LUT mapping
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/mig_algebraic_rewriting.hpp

@@ -27,6 +27,7 @@
   \file mig_algebraic_rewriting.hpp
   \brief MIG algebraric rewriting
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/mig_resub.hpp

@@ -27,8 +27,10 @@
   \file mig_resub.hpp
   \brief Majority-specific resustitution rules
 
+  \author Eleonora Testa
   \author Heinz Riener
-  \author Siang-Yun Lee
+  \author Mathias Soeken
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once
@@ -816,4 +818,4 @@ void mig_resubstitution( Ntk& ntk, resubstitution_params const& ps = {}, resubst
   }
 }
 
-} /* namespace mockturtle */
+} /* namespace mockturtle */

include/mockturtle/algorithms/mig_resyn_engines.hpp

@@ -27,7 +27,7 @@
   \file mig_resyn_engines.hpp
   \brief Implements resynthesis methods for MIGs.
 
-  \author Siang-Yun Lee
+  \author Siang-Yun (Sonia) Lee
 */
 
 #pragma once
@@ -1200,4 +1200,4 @@ class mig_resyn_engine_akers
   mig_index_list index_list;
   uint32_t fanins[3];
 };
-} /* namespace mockturtle */
+} /* namespace mockturtle */

include/mockturtle/algorithms/miter.hpp

@@ -27,6 +27,7 @@
   \file miter.hpp
   \brief Generate miter from two networks
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/node_resynthesis.hpp

@@ -27,7 +27,9 @@
   \file node_resynthesis.hpp
   \brief Node resynthesis
 
+  \author Heinz Riener
   \author Mathias Soeken
+  \author Max Austin
 */
 
 #pragma once

include/mockturtle/algorithms/node_resynthesis/akers.hpp

@@ -27,8 +27,8 @@
   \file akers.hpp
   \brief Resynthesis with Akers synthesis
 
+  \author Heinz Riener
   \author Mathias Soeken
-  \author Eleonora Testa
 */
 
 #pragma once

include/mockturtle/algorithms/node_resynthesis/bidecomposition.hpp

@@ -28,6 +28,8 @@
   \brief Resynthesis with bi_decomposition
 
   \author Eleonora Testa
+  \author Heinz Riener
+  \author Mathias Soeken
 */
 
 #pragma once

include/mockturtle/algorithms/node_resynthesis/cached.hpp

@@ -27,6 +27,7 @@
   \file cached.hpp
   \brief Generic resynthesis with a cache
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/node_resynthesis/composed.hpp

@@ -24,9 +24,10 @@
  */
 
 /*!
-  \file traits.hpp
+  \file composed.hpp
   \brief Traits for additional node_resynthesis methods
 
+  \author Heinz Riener
   \author Mathias Soeken
 */
 

include/mockturtle/algorithms/node_resynthesis/davio.hpp

@@ -27,6 +27,7 @@
   \file davio.hpp
   \brief Use Davio decomposition for resynthesis
 
+  \author Heinz Riener
   \author Mathias Soeken
 */