functional_reduction.rst

Functional reduction

Header: mockturtle/algorithms/functional_reduction.hpp

The following example shows how to perform functional reduction to remove constant nodes and functionally equivalent nodes in the network.

/* derive some AIG */
aig_network aig = ...;

functional_reduction( aig );

Parameters and statistics

mockturtle::functional_reduction_params

mockturtle::functional_reduction_stats

Algorithm

mockturtle::functional_reduction