XAG balancing

Header: mockturtle/algorithms/xag_balancing.hpp

Parameters

struct xag_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::xag_balance(Ntk &ntk, xag_balancing_params const &ps = {})

XAG balancing.

This method balance the XAG to reduce the depth. Level minimization can be turned off. In this case, balancing tries to reconstruct AND and XOR 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