diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-12 16:46:37 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-12 16:46:37 -0500 |
| commit | 8248691d8441e22d19d645d738f92b59fb3c95da (patch) | |
| tree | d32fe02527426dd661daa4474cac4dce4ada8291 /src/aig/fsim/fsimInt.h | |
| parent | 583bc4d71a403028d60fd676ce72c3c6d1e2e7fe (diff) | |
| download | abc-8248691d8441e22d19d645d738f92b59fb3c95da.tar.gz abc-8248691d8441e22d19d645d738f92b59fb3c95da.tar.bz2 abc-8248691d8441e22d19d645d738f92b59fb3c95da.zip | |
Added limit on the number of flops to add in one iteration of &abs_refine.
Diffstat (limited to 'src/aig/fsim/fsimInt.h')
0 files changed, 0 insertions, 0 deletions