Searched refs:nPatsDyna (Results 1 – 7 of 7) sorted by relevance
126 pParams->nPatsDyna = FRAIG_PATTERNS_DYNAMIC; // the number of words of dynamic simulation info in Fraig_ParamsSetDefault()157 pParams->nPatsDyna = FRAIG_PATTERNS_DYNAMIC; // the number of words of dynamic simulation info in Fraig_ParamsSetDefaultFull()202 if ( pParams->nPatsDyna < 128 ) in Fraig_ManCreate()203 pParams->nPatsDyna = 128; in Fraig_ManCreate()204 if ( pParams->nPatsDyna > 32768 ) in Fraig_ManCreate()205 pParams->nPatsDyna = 32768; in Fraig_ManCreate()208 pParams->nPatsRand = pParams->nPatsDyna = 128; in Fraig_ManCreate()216 …p->nWordsDyna = FRAIG_NUM_WORDS( pParams->nPatsDyna ); // the number of patterns for dynamic simu… in Fraig_ManCreate()
51 int nPatsDyna; // the number of words of dynamic simulation info member
698 Abc_Ntk_t * Abc_NtkFraigRestore( int nPatsRand, int nPatsDyna, int nBTLimit ) in Abc_NtkFraigRestore() argument737 …Params.nPatsDyna = nPatsDyna ? nPatsDyna : nWordsMin * 32; // the number of words of dynamic s… in Abc_NtkFraigRestore()
269 pParams->nPatsDyna = nWordsMin * 32; // the number of words of dynamic simulation info in Abc_NtkMiterFraig()
16353 pParams->nPatsDyna = 2048; // the number of words of dynamic simulation info in Abc_CommandFraig()16385 pParams->nPatsDyna = atoi(argv[globalUtilOptind]); in Abc_CommandFraig()16387 if ( pParams->nPatsDyna < 0 ) in Abc_CommandFraig()16491 …-D num : number of systematic patterns (127 < num < 32769) [default = %d]\n", pParams->nPatsDyna ); in Abc_CommandFraig()16637 int nPatsDyna = 0; // the number of words of dynamic simulation info in Abc_CommandFraigRestore() local16664 nPatsDyna = atoi(argv[globalUtilOptind]); in Abc_CommandFraigRestore()16666 if ( nPatsDyna < 0 ) in Abc_CommandFraigRestore()16694 pNtkRes = Abc_NtkFraigRestore( nPatsRand, nPatsDyna, nBTLimit ); in Abc_CommandFraigRestore()
150 Params.nPatsDyna = 512; in Sim_SymmsSatProveOne()
670 extern ABC_DLL Abc_Ntk_t * Abc_NtkFraigRestore( int nPatsRand, int nPatsDyna, int nBTLimit );