Searched refs:nBddVarsMax (Results 1 – 3 of 3) sorted by relevance
60 p->nBddVarsMax = 150; // the limit on the number of registers in BDD reachability in Fra_SecSetDefaultParams()572 …bility && RetValue == -1 && Aig_ManRegNum(pNew) > 0 && Aig_ManRegNum(pNew) < pParSec->nBddVarsMax ) in Fra_FraigSec()
122 int nBddVarsMax; // the state space limit for BDD reachability member
24445 pSecPar->nBddVarsMax = atoi(argv[globalUtilOptind]); in Abc_CommandDProve()24447 if ( pSecPar->nBddVarsMax < 0 ) in Abc_CommandDProve()24576 …t-V num : the flop count limit for BDD-based reachablity [default = %d]\n", pSecPar->nBddVarsMax ); in Abc_CommandDProve()