AIG balancing

Header: mockturtle/algorithms/aig_balancing.hpp

Parameters

struct aig_balancing_params

Public Members

bool minimize_levels = {true}

Minimizes the number of levels.

bool fast_mode = {true}

Use fast version, it may not find some area optimizations.

Algorithm

template<class Ntk>
void mockturtle::aig_balance(Ntk &ntk, aig_balancing_params const &ps = {})

AIG balancing.

This method balance the AIG to reduce the depth. Level minimization can be turned off. In this case, balancing tries to reconstruct AND trees such that logic sharing is maximized.

Required network functions:

  • get_node

  • node_to_index

  • get_constant

  • create_pi

  • create_po

  • create_not

  • is_complemented

  • foreach_node

  • foreach_pi

  • foreach_po

  • clone_node

  • is_pi

  • is_constant

  • has_and