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 | |
| parent | 8b24f6bff92d93c3a4def93b8872105c861d1285 (diff) | |
| download | abc-f81e16b64687231adf6d67782cee95f9ce4daef0.tar.gz abc-f81e16b64687231adf6d67782cee95f9ce4daef0.tar.bz2 abc-f81e16b64687231adf6d67782cee95f9ce4daef0.zip | |
Version abc80518_2
| -rw-r--r-- | src/aig/fra/fraSec.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/map/pcm/module.make | 0 | ||||
| -rw-r--r-- | src/map/ply/module.make | 0 |
4 files changed, 2 insertions, 2 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 diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index fc4056a4..39fdb9fb 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14291,7 +14291,7 @@ int Abc_CommandDSec( Abc_Frame_t * pAbc, int argc, char ** argv ) // set defaults Fra_SecSetDefaultParams( pSecPar ); - pSecPar->TimeLimit = 300; + pSecPar->TimeLimit = 600; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "Farmfwvh" ) ) != EOF ) { diff --git a/src/map/pcm/module.make b/src/map/pcm/module.make deleted file mode 100644 index e69de29b..00000000 --- a/src/map/pcm/module.make +++ /dev/null diff --git a/src/map/ply/module.make b/src/map/ply/module.make deleted file mode 100644 index e69de29b..00000000 --- a/src/map/ply/module.make +++ /dev/null |