Home
last modified time | relevance | path

Searched refs:nStartGates (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcExact.c246 …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 Dabc.c8218 …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 Dabc.h650 …Vars, int nFunc, int nMaxDepth, int * pArrivalTimes, int nBTLimit, int nStartGates, int fVerbose );