diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-10 08:01:00 -0700 |
| commit | 4db86550728b9c5ffeed4a158faf19afd6518b42 (patch) | |
| tree | 68dbf6c0deb06f30ee68cbd78e5df3dd5c1cfd65 /src/base/abci/abcDar.c | |
| parent | a30c08bbe55d624ec3269577bf16f2f09215be12 (diff) | |
| download | abc-4db86550728b9c5ffeed4a158faf19afd6518b42.tar.gz abc-4db86550728b9c5ffeed4a158faf19afd6518b42.tar.bz2 abc-4db86550728b9c5ffeed4a158faf19afd6518b42.zip | |
Version abc80910
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index c430137c..37cd6853 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1084,7 +1084,7 @@ int Abc_NtkPartitionedSat( Abc_Ntk_t * pNtk, int nAlgo, int nPartSize, int nConf SeeAlso [] ***********************************************************************/ -int Abc_NtkDarCec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fPartition, int fVerbose ) +int Abc_NtkDarCec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int nConfLimit, int fPartition, int fVerbose ) { Aig_Man_t * pMan, * pMan1, * pMan2; Abc_Ntk_t * pMiter; @@ -1102,7 +1102,7 @@ int Abc_NtkDarCec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fPartition, int fVe { pMan1 = Abc_NtkToDar( pNtk1, 0, 0 ); pMan2 = Abc_NtkToDar( pNtk2, 0, 0 ); - RetValue = Fra_FraigCecPartitioned( pMan1, pMan2, 100, 1, fVerbose ); + RetValue = Fra_FraigCecPartitioned( pMan1, pMan2, nConfLimit, 100, 1, fVerbose ); Aig_ManStop( pMan1 ); Aig_ManStop( pMan2 ); goto finish; @@ -1152,7 +1152,7 @@ int Abc_NtkDarCec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fPartition, int fVe return -1; } // perform verification - RetValue = Fra_FraigCec( &pMan, fVerbose ); + RetValue = Fra_FraigCec( &pMan, 100000, fVerbose ); // transfer model if given if ( pNtk2 == NULL ) pNtk1->pModel = pMan->pData, pMan->pData = NULL; |