From f81e16b64687231adf6d67782cee95f9ce4daef0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 18 May 2008 20:01:00 -0700 Subject: Version abc80518_2 --- src/aig/fra/fraSec.c | 2 +- src/base/abci/abc.c | 2 +- src/map/pcm/module.make | 0 src/map/ply/module.make | 0 4 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 src/map/pcm/module.make delete mode 100644 src/map/ply/module.make 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 diff --git a/src/map/ply/module.make b/src/map/ply/module.make deleted file mode 100644 index e69de29b..00000000 -- cgit v1.2.3