Searched refs:nStartGates (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcExact.c | 246 …int nStartGates; /* number of gates to start search (-1), i.e., to start from 1… member 492 …tore, word * pTruth, int nVars, int * pNormalArrTime, int nMaxDepth, char * pSol, int nStartGates ) in Ses_StorePrintDebugEntry() argument 498 fprintf( pStore->pDebugEntries, " -S %d -D %d -A", nStartGates + 1, nMaxDepth ); in Ses_StorePrintDebugEntry() 2285 int nGates = pSes->nStartGates, fRes; in Ses_ManFindMinimumSizeBottomUp() 2360 int i = pSes->nStartGates + 1, fRes; in Ses_ManFindMinimumSize() 2414 …ars, int nFunc, int nMaxDepth, int * pArrTimeProfile, int nBTLimit, int nStartGates, int fVerbose ) in Abc_NtkFindExact() argument 2427 pSes->nStartGates = nStartGates; in Abc_NtkFindExact() 2450 …ars, int nFunc, int nMaxDepth, int * pArrTimeProfile, int nBTLimit, int nStartGates, int fVerbose ) in Gia_ManFindExact() argument 2463 pSes->nStartGates = nStartGates; in Gia_ManFindExact() 2795 pSes->nStartGates = nVars - 2; in Abc_ExactDelayCost()
|
H A D | abc.c | 8218 …Vars, int nFunc, int nMaxDepth, int * pArrivalTimes, int nBTLimit, int nStartGates, int fVerbose ); in Abc_CommandExact() 8220 …fMakeAIG = 0, fTest = 0, fVerbose = 0, nVars = 0, nVarsTmp, nFunc = 0, nStartGates = 1, nBTLimit =… in Abc_CommandExact() local 8274 nStartGates = atoi(argv[globalUtilOptind]); in Abc_CommandExact() 8276 if ( nStartGates < 1 ) in Abc_CommandExact() 8344 …unc, nMaxDepth, fHasArrTimeProfile ? pArrTimeProfile : NULL, nBTLimit, nStartGates - 1, fVerbose ); in Abc_CommandExact() 8352 …unc, nMaxDepth, fHasArrTimeProfile ? pArrTimeProfile : NULL, nBTLimit, nStartGates - 1, fVerbose ); in Abc_CommandExact() 8368 Abc_Print( -2, "\t-S <num> : number of start gates in search [default = %d]\n", nStartGates ); in Abc_CommandExact()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abc.h | 650 …Vars, int nFunc, int nMaxDepth, int * pArrivalTimes, int nBTLimit, int nStartGates, int fVerbose );
|