| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcRenode.c | 67 …nFaninMax, int nCubeMax, int nFlowIters, int nAreaIters, int fArea, int fUseBdds, int fUseSops, in… in Abc_NtkRenode() argument
101 pPars->fUseBdds = fUseBdds; in Abc_NtkRenode()
105 if ( fUseBdds ) in Abc_NtkRenode()
120 if ( fUseBdds ) in Abc_NtkRenode()
138 if ( fUseBdds ) in Abc_NtkRenode()
316 …nFaninMax, int nCubeMax, int nFlowIters, int nAreaIters, int fArea, int fUseBdds, int fUseSops, in…
|
| H A D | abcUnate.c | 53 void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ) in Abc_NtkPrintUnate() argument
55 if ( fUseBdds || fUseNaive ) in Abc_NtkPrintUnate()
168 void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ){}
|
| H A D | abcSymm.c | 59 void Abc_NtkSymmetries( Abc_Ntk_t * pNtk, int fUseBdds, int fNaive, int fReorder, int fVerbose ) in Abc_NtkSymmetries() argument
61 if ( fUseBdds || fNaive ) in Abc_NtkSymmetries()
238 void Abc_NtkSymmetries( Abc_Ntk_t * pNtk, int fUseBdds, int fNaive, int fReorder, int fVerbose ) {}
|
| H A D | abcIf.c | 319 if ( pIfMan->pPars->fUseBdds || pIfMan->pPars->fUseCnfs || pIfMan->pPars->fUseMv ) in Abc_NtkFromIf()
351 if ( pIfMan->pPars->fUseBdds || pIfMan->pPars->fUseCnfs || pIfMan->pPars->fUseMv ) in Abc_NtkFromIf()
353 if ( pIfMan->pPars->fUseBdds ) in Abc_NtkFromIf()
480 if ( pIfMan->pPars->fUseBdds ) in Abc_NodeFromIf_rec()
|
| H A D | abcProve.c | 196 if ( RetValue < 0 && pParams->fUseBdds ) in Abc_NtkMiterProve()
|
| H A D | abcIvy.c | 597 if ( RetValue < 0 && pParams->fUseBdds ) in Abc_NtkIvyProve()
|
| H A D | abc.c | 2138 int fUseBdds; in Abc_CommandPrintSymms() local
2145 fUseBdds = 0; in Abc_CommandPrintSymms()
2155 fUseBdds ^= 1; in Abc_CommandPrintSymms()
2218 int fUseBdds; in Abc_CommandPrintUnate() local
2224 fUseBdds = 1; in Abc_CommandPrintUnate()
2233 fUseBdds ^= 1; in Abc_CommandPrintUnate()
3968 int fUseBdds; in Abc_CommandRenode() local
3983 fUseBdds = 0; in Abc_CommandRenode()
4041 fUseBdds ^= 1; in Abc_CommandRenode()
15693 pParams->fUseBdds ^= 1; in Abc_CommandIProve()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absOldRef.c | 63 p->fUseBdds = 0; // use BDDs to refine abstraction in Gia_ManAbsSetDefaultParams()
158 …Aig_Man_t * pAbs, Vec_Int_t * vFlops, int nFrames, int nConfMaxOne, int fUseBdds, int fUseDprove, … in Saig_ManCexRefine() argument
188 else if ( fUseBdds && (Aig_ManRegNum(pAbs) > 0 && Aig_ManRegNum(pAbs) <= 80) ) in Saig_ManCexRefine()
436 …xRefine( p, pAbs, vFlops, pPars->nFramesBmc, pPars->nConfMaxBmc, pPars->fUseBdds, pPars->fUseDprov… in Saig_ManCexAbstractionFlops()
|
| H A D | abs.h | 99 int fUseBdds; // use BDDs to refine abstraction member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigMan.c | 53 pParams->fUseBdds = 0; // enables BDD construction when other methods fail in Prove_ParamsSetDefault()
94 printf( "BDD construction enabled: %s\n", pParams->fUseBdds? "yes":"no" ); in Prove_ParamsPrint()
|
| H A D | fraig.h | 72 int fUseBdds; // enables BDD construction when other methods fail member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkCore.c | 151 pPars->fUseBdds = 0; in Lpk_IfManStart()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | if.h | 155 int fUseBdds; // use local BDDs as a cost function member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 114 int fUseBdds; // enables BDD construction when other methods fail member
|