Home
last modified time | relevance | path

Searched defs:pArrTimeProfile (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcExact.c228 …int * pArrTimeProfile; /* arrival times of inputs (NULL if arrival times are ignored)… member
296 int pArrTimeProfile[8]; /* normalized arrival time profile */ member
361 static int Abc_NormalizeArrivalTimes( int * pArrTimeProfile, int nVars, int * maxNormalized ) in Abc_NormalizeArrivalTimes()
510 static void Abc_ExactNormalizeArrivalTimesForNetwork( int nVars, int * pArrTimeProfile, char * pSol… in Abc_ExactNormalizeArrivalTimesForNetwork()
728 int Ses_StoreGetEntrySimple( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile,… in Ses_StoreGetEntrySimple()
768 int Ses_StoreGetEntry( Ses_Store_t * pStore, word * pTruth, int nVars, int * pArrTimeProfile, char … in Ses_StoreGetEntry()
825 int pArrTimeProfile[8]; in Ses_StoreRead() local
2515 int pArrTimeProfile[4] = {6, 2, 8, 5}; in Abc_ExactTestSingleOutput() local
2553 int pArrTimeProfile[4] = {6, 2, 8, 5}; in Abc_ExactTestSingleOutputAIG() local
2716 int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost, … in Abc_ExactDelayCost()
[all …]
H A Dabc.c8223 int pArrTimeProfile[8], fHasArrTimeProfile = 0; in Abc_CommandExact() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A Dif.h273 int pArrTimeProfile[IF_MAX_FUNC_LUTSIZE]; member