diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 20:01:00 -0700 |
| commit | f81e16b64687231adf6d67782cee95f9ce4daef0 (patch) | |
| tree | e09f9fc739c2141ab268806094b42d2c657ddda6 /src/aig/fra/fraSec.c | |
| parent | 8b24f6bff92d93c3a4def93b8872105c861d1285 (diff) | |
| download | abc-f81e16b64687231adf6d67782cee95f9ce4daef0.tar.gz abc-f81e16b64687231adf6d67782cee95f9ce4daef0.tar.bz2 abc-f81e16b64687231adf6d67782cee95f9ce4daef0.zip | |
Version abc80518_2
Diffstat (limited to 'src/aig/fra/fraSec.c')
| -rw-r--r-- | src/aig/fra/fraSec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index c01c7a84..2ca99cbf 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -45,7 +45,7 @@ void Fra_SecSetDefaultParams( Fra_Sec_t * p ) memset( p, 0, sizeof(Fra_Sec_t) ); p->fTryComb = 1; // try CEC call as a preprocessing step p->fTryBmc = 1; // try BMC call as a preprocessing step - p->nFramesMax = 2; // the max number of frames used for induction + p->nFramesMax = 4; // the max number of frames used for induction p->fPhaseAbstract = 1; // enables phase abstraction p->fRetimeFirst = 1; // enables most-forward retiming at the beginning p->fRetimeRegs = 1; // enables min-register retiming at the beginning |