Resub

Header: mockturtle/algorithms/resubstitution.hpp

Several resubstitution algorithms are implemented and can be called directly, including:

  • default_resubstitution does functional reduction within a window.

  • aig_resubstitution, mig_resubstitution and xmg_resubstitution do window-based resubstitution in the corresponding network types.

  • resubstitution_minmc_withDC minimizes multiplicative complexity in XAGs with window-based resubstitution.

  • sim_resubstitution does simulation-guided resubstitution in AIGs or XAGs.