Equ_rate_estimate

The functions in the equ_rate_estimate is to estimate the functionally equal points between two aigers.

Please use this function directly: simulator/equ_rate_est

Usage:

  simulator/equ_rate_est <aiger1> <aiger2> [options]

Options:

  [N]       Run simulation with N patterns.

<aiger1> is the path of file in .aig format.